Eff: add mapM_ yield pattern