Data.Open.Union

data Union r v

decomp

weaken

class Member t r