Data.Extensible.Inclusion
type xs ⊆ ys
type Include ys
inclusion
shrink
spread
type IncludeAssoc ys
class Associated xs t
inclusionAssoc
shrinkAssoc
spreadAssoc
coinclusion
wrench
retrench
data Nullable h x
nullable
mapNullable