[Haskell-beginners] Re: type puzzlement