Haskell Semantics with Lisp Syntax