Data.OpenUnion1.Clean

data family Union s a

type Nil

data List a

type family f |> s :: * -> *

(@>)

exhaust

class f ∈ s

type Member f s

liftU

class s ⊆ t

type Include s t