Data.Extensible.Inclusion
type xs ⊆ ys
type Include ys
inclusion
shrink
spread
type IncludeAssoc ys
class Associated xs t
inclusionAssoc
shrinkAssoc
spreadAssoc