Added annotations for fold arguments
Renamed `foldMAll` to `foldAllM`