15 Mar
2004
15 Mar
'04
11: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.