Data.OpenUnion

data Union r v

class Member t r

class MemberU2 tag t r

decomp

weaken