Data.Witness.List
data ListType w lt
data AppendList w la lb
data AddItemList w a l
data MergeItemList w a l
data MergeList w la lb
type MapWitness cc w1 w2
data MapList cc w2 l
data RemoveFromList w a l
data RemoveManyFromList wit lx l
data EitherWitness w1 w2 a
data PartitionList wit1 wit2 l