type problem
MR K P SCHUPKE
k.schupke at imperial.ac.uk
Mon Mar 15 11:52:10 EST 2004
Is there any way to insist that two types are different? For example
f :: NotSame a b => a -> b
Regards,
Keean Schupke.
More information about the Glasgow-haskell-users
mailing list