Support labels for polymorphic fields / existential constructors / more type-changing updates

well-typed / optics

Optics as an abstract interface

375 stars 24 forks source link

Closed arybczak closed 3 years ago

arybczak commented 4 years ago

Fixes #364.

arybczak commented 3 years ago

I've updated the TH to use Dysfunctional instead for better potential error messages.

phadej commented 3 years ago

conficts

arybczak commented 3 years ago

I'll merge this after the weekend unless anyone objects.