type equality symbol

Isaac Dupree isaacdupree at charter.net
Tue Dec 4 10:59:04 EST 2007

>>        conv :: (a~b) => a -> b
>>        conv = id

is there any particular reason that '~' is the symbol for type equality 
constraints?  I would think '=' would be the obvious choice, (although 
perhaps it is already over-used, and is normally asymmetric in Haskell!)?


More information about the Glasgow-haskell-users mailing list