Add test for 'foldM' and 'foldM_'
Fix 'foldM'