On Jan 9, 2008 12:39 AM, Achim Schneider [EMAIL PROTECTED] wrote:
Yes, exactly that wire which isn't obscured by the boiler plate has
kindled my interest.
The name of a type variable doesn't really matter. GHC tries to
preserve the names you give, otherwise it creates their own. For
example,
On Jan 9, 2008 1:07 AM, Achim Schneider [EMAIL PROTECTED] wrote:
Beg pardon? Are you referring to the type of y being described with
'b' instead of 'a'?
Yes.
(a - a) - a and (b - b) - b are equivalent.
For some reason ghc uses b instead of a if you are picky about it,
just provide a