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