Re: [Haskell-beginners] Maybe a and Maybe t

On Sun, May 31, 2009 at 4:50 AM, Andrew Wagner wrote:

Good question, but I'm afraid the answer will be a bit disappointing. The real answer is, it doesn't matter - the following types are all the same: a -> a b -> b t -> t supercalifragilisticexpialodocious -> supercalifragilisticexpialodocious

And by the way, they are called 'type variables', as other kind of variables, when without name conflict, their names don't matter. lee