Take it easy: Dynamic typed and Untyped Haskell using GHC