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