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 _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
