Data.OpenUnion

data Union r v

inj

prj

decomp

class Member t r

class MemberU2 tag t r

weaken