Closed poscat0x04 closed 4 years ago
Would it be possible to expose constructors such as :+: :*: Rec0 V1 ... used in generic type representation?
:+:
:*:
Rec0
V1
Those are just HCons, Coproduct, LabelledField, yes? They're already exposed.
Oh, didn't realize that, sorry.
Would it be possible to expose constructors such as
:+:
:*:
Rec0
V1
... used in generic type representation?