Data.Open.Union

data Union r v

decomp

weaken

class Member t r

type family Members m r :: Constraint