Type safe interpreter for a simple functional language in Haskell | Hacker News Reader