It would be good to build in some support for Template Haskell driven derivation of the lifted constructor pattern, which we can have take more forms than the original generic bridge formulation can provide. In particular:
If the user specifies a type for positions, they should be able to do automatic position-aware constructors if it is unambiguous.
The user could provide optional labelling and explaining for error messages.
j-mie6
commented
8 months ago
It would be good to build in some support for Template Haskell driven derivation of the lifted constructor pattern, which we can have take more forms than the original generic bridge formulation can provide. In particular: