Data.Extensible.Inclusion
data Membership xs x
type x ∈ xs
class Member xs x
data Expecting a
data Missing a
data Ambiguous a
data Assoc k v
class Associate k v xs
type xs ⊆ ys
type Include ys
type IncludeAssoc ys xs
class Associated xs t
data Nullable h x