search

glguy / tries

BSD 3-Clause "New" or "Revised" License
11 stars 8 forks source link

Find a nicer way to enable DerivingVia #36

Open treeowl opened 1 year ago

treeowl commented 1 year ago

34 enabled DerivingVia, which strikes me as pretty important for usability, but it makes writing instances a lot hairier than I like. Can we do better?

treeowl commented 1 year ago

One option might be to use Curried (Yoneda f) (Yoneda f) in a regular traverse-like type.