please elaborate on comment for base:Data.Type.Equality.(==)?

Nicolas Frisby nicolas.frisby at
Tue Feb 4 18:08:44 UTC 2014

[CC'ing Richard, as I'm guessing he's the author of the comment.]

I have a question regarding the comment on the type
family Data.Type.Equality.(==).

  "A poly-kinded instance [of ==] is *not* provided, as a recursive
definition for algebraic kinds is generally more useful."

Can someone elaborate on "generally more useful".

Thank you.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list