Data.Foldable.Constrained
class
Foldable
t k l
fold
traverse_
mapM_
forM_
sequence_
concatMap