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