adjunctions
adjunctions copied to clipboard
Representable no longer works with GND
Two of the new methods are incompatible with newtype deriving.
@ekmett, @RyanGlScott, I believe this should be considered a release blocker.
I don't think a class should decide between implementation and representation, these issues would be solved with the concept of a backend: Type class backend: how to evolve with class
I anticipate that this package would not be the best initial guinea pig for such a practice.
That's reasonable, but I wanted to put it out there for posterity