[Haskell-beginners] Maybe a and Maybe t

Lee Duhem lee.duhem at gmail.com
Sat May 30 20:29:01 EDT 2009


On Sun, May 31, 2009 at 4:50 AM, Andrew Wagner <wagner.andrew at gmail.com> 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


More information about the Beginners mailing list