Data.OpenUnion1

data Union r v

class Member t r

class SetMember set t r

data a :> b

inj

prj

prjForce

decomp

unsafeReUnion

weaken