Main.hs use LambdaCase
Merge branch 'evaluation'

* evaluation:
  Main.hs use LambdaCase