Data.OpenUnion
type Member
class SetMember set t r
data Union r v
data a :> b
inj
prj
prjForce
decomp
unsafeReUnion
weaken