Data.OpenUnion

data Union r v

inj

prj

decomp

class Member t r

class SetMember tag t r

weaken