Type safe interpreter for a simple functional language in Haskell (gist.github.com)