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