Data.Diverse.Many
Many typedata Many xs
class IsMany t xs a
class CanAppendUnique xs ys
type Select smaller larger
type SelectN ns smaller larger
type Amend smaller smaller' larger
type Amend' smaller larger
type AmendN ns smaller smaller' larger
type AmendN' ns smaller larger
type Collect c r xs
data Collector c xs r
type CollectN c r n xs
data CollectorN c n xs r