Control.Foldl
data Fold a b
data FoldM m a b
fold
foldM
scan
mconcat
foldMap
head
last
null
length
and
or
all
any
sum
product
maximum
minimum
elem
notElem
find
index
elemIndex
findIndex
genericLength
genericIndex
list
vector
purely
impurely
generalize
simplify
premap
premapM