Data.OpenUnion1.Clean

data family Union s a

type Nil

data List a

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

(||>)

exhaust

simply

class f ∈ s

type Member f s

liftU

class s ⊆ t

type Include s t