Data.Witness.List

data ListType w lt

listFill

listMap

listLift2

listTypeToList

listTypeMap

listIdentity

listSequence

data AppendList w la lb

appendList

data AddItemList w a l

addListItem

data MergeItemList w a l

mergeListItem

data MergeList w la lb

mergeList

type MapWitness cc w1 w2

sameMapWitness

data MapList cc w2 l

mapList

data RemoveFromList w a l

removeAllMatching

data RemoveManyFromList wit lx l

removeAllMatchingMany

data EitherWitness w1 w2 a

data PartitionList wit1 wit2 l

partitionList