ain :: IO ()
main = do
      l <- lambdaParser
      print $ eval l
      >> main

main :: IO ()
main = do
      l <- lambdaParser
      print $ eval l
      >> main
main = do
      l <- lambdaParser
      print $ eval l
      >> main