Jan, Richard I’ve spent much of today working on the generalised-injectivity branch wip/T10832-generalised-injectivity I’ve done a lot of refactoring: you could to worse than start with Note [Injectivity information] in TyCon, and the data types that follow. Not finished, but making progress Simon
_______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
