31 May
2009
31 May
'09
12:29 a.m.
On Sun, May 31, 2009 at 4:50 AM, Andrew Wagner
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