Renamed Reducer to M. Added a "multi-pass" Monad for M!