[Haskell-beginners] type variables - error: 'No instance for'