Data.OpenUnion
data Union as
exhaust
(||>)
picked
liftU
retractU
hoistU
class Member a as
class Include as bs
type a ∈ as
type as ⊆ bs
type as ＝ bs