mapM_ + replicate replaced with replicateM_