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

[Ashley Yakeley]

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