Type safe interpreter for a simple functional language in Haskell · HackerTrans