Yet Another Haskell Tutorial/Type advanced/Solutions