mapM and sequence