adjunctions icon indicating copy to clipboard operation
adjunctions copied to clipboard

Published 20 hours ago • verified publisher icon ekmett

Representable no longer works with GND

Open treeowl opened this issue 4 years ago • 4 comments

Two of the new methods are incompatible with newtype deriving.

treeowl avatar Sep 05 '19 16:09 treeowl

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

treeowl avatar Sep 06 '19 22:09 treeowl

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

Icelandjack avatar Mar 23 '22 01:03 Icelandjack

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

ekmett avatar Mar 23 '22 02:03 ekmett

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

Icelandjack avatar Mar 23 '22 02:03 Icelandjack