[Haskell-cafe] Re: Are GADTs what I need?

Ashley Yakeley ashley at semantic.org
Tue Jul 14 02:33:16 EDT 2009


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



More information about the Haskell-Cafe mailing list