A Small Language in Haskell