Data.OpenUnion.Internal

data Union as

exhaust

type family All ca as :: Constraint

(||>)

data Position a as

class Member a as

liftU

picked

retractU

hoistU

data Id a

class Include as bs

type a ∈ as

type as ⊆ bs

type as ＝ bs