A toy language to learn more about UUAG and compiling Haskell-like languages.