simple syntactic desugaring
using desugaring before evaluation
cabal module updates