15 Mar
2004
15 Mar
'04
6:52 a.m.
Is there any way to insist that two types are different? For example f :: NotSame a b => a -> b Regards, Keean Schupke.