Consider this function that generates a list for an arbitrary Monad: generateListM :: Monad m => Int -> (Int -> m a) -> m [a] generateListM sz f = go 0 where go i | i < sz = do x &...