14 Jul
2009
14 Jul
'09
2:33 a.m.
On Mon, 2009-07-13 at 23:20 -0700, Jason Dagit wrote:
data EqualType a b where MkEqualType :: EqualType t t
Is there any reason to prefer this over: data EqualType a b where MkEqualType :: EqualType a a
They're exactly the same. Yours just looks a bit "left-biased", that's all. -- Ashley Yakeley