module LambdaCalculus::Application1

def left_associative_apply(operator, env)
  if expression.instance_of?(Application)
    expression.left_associative_apply(operator.apply(expression.operator.eval(env)), env)
  else
    operator.apply(expression.eval(env))
  end
end