Data.OpenUnion

Open Union

data Union r a

Open Union Operations

decomp

weaken

extract

Open Union Membership Constraints

class Member t r

type family Members m r :: Constraint where ...