Data.Extensible.Inclusion

Membership

data Membership xs x

type x ∈ xs

class Member xs x

data Expecting a

data Missing a

data Ambiguous a

Inclusion

type xs ⊆ ys

type Include ys

Inverse

data Nullable h x