Data.Extensible.Inclusion

Inclusion

type xs ys

type Include ys

inclusion

shrink

spread

Key-value

type IncludeAssoc ys

class Associated xs t

inclusionAssoc

shrinkAssoc

spreadAssoc