Provide foldl
Provide toList
Provide concat
Provide exists and all