Data.Union

data Union r a

class Member f r

inj

prj

decomp

trivial