On Sat, Jul 29, 2017 at 10:07 AM, Ben Gamari <ben@smart-cactus.org> wrote:
Hmm. I am unable to reproduce this,

    $ ghci
    λ> import Type.Reflection
    λ> let tc = typeRepTyCon (typeRep @Int)
    λ> tc == tc
    True

Does that work for you?

Maybe I'm missing something, but doesn't that only test Eq, not Ord?

--
brandon s allbery kf8nh                               sine nomine associates
allbery.b@gmail.com                                  ballbery@sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net