Up to Haskell tutorial Types