search

ekmett / adjunctions

Simple adjunctions
http://hackage.haskell.org/package/adjunctions
Other
44 stars 27 forks source link

Representable no longer works with GND #62

Open treeowl opened 5 years ago

treeowl commented 5 years ago

Two of the new methods are incompatible with newtype deriving.

treeowl commented 5 years ago

@ekmett, @RyanGlScott, I believe this should be considered a release blocker.

Icelandjack commented 2 years ago

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

ekmett commented 2 years ago

I anticipate that this package would not be the best initial guinea pig for such a practice.

Icelandjack commented 2 years ago

That's reasonable, but I wanted to put it out there for posterity