Data.Extensible.Inclusion

data Position xs x

runPosition

type x ∈ xs

class Member xs x

data Expecting a

data Missing a

data Ambiguous a

ord

type xs ⊆ ys

type Include ys

inclusion

shrink

spread