Rename map_m to sequence to implement a true Haskell-like map_m.