@@ -42,4 +42,5 @@ mapM f xs = sequence (map f xs)
42mapM_ : Monad m => (a -> m b) -> List a -> m ()
42mapM_ : Monad m => (a -> m b) -> List a -> m ()
43mapM_ f xs = sequence_ (map f xs)
43mapM_ f xs = sequence_ (map f xs)
45−
45+flatten : Monad m => m (m a) -> m a