please elaborate on comment for base:Data.Type.Equality.(==)?
Nicolas Frisby
nicolas.frisby at gmail.com
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: <http://www.haskell.org/pipermail/ghc-devs/attachments/20140204/1d7bc626/attachment.html>
More information about the ghc-devs
mailing list