Define forM*_ via mapM*_. Use monadic fold.