Data.Extensible.Inclusion
type
xs
⊆
ys
type
Include
ys
inclusion
shrink
spread