Haskell/YAHT/Type advanced/Solutions