@@ -34,13 +34,5 @@ sequence : Applicative f => List (f a) -> f (List a)
3434sequence [] = pure []
3535sequence (x :: xs) = map (::) x <$> sequence xs
3636
37−sequence_ : Applicative f => List (f a) -> f ()
38−sequence_ [] = pure ()
39−sequence_ (x :: xs) = x $> sequence_ xs
40−
4137traverse : Applicative f => (a -> f b) -> List a -> f (List b)
4238traverse f xs = sequence (map f xs)
43−
44−traverse_ : Applicative f => (a -> f b) -> List a -> f ()
45−traverse_ f (x :: xs) = f x $> traverse_ f xs
46−traverse_ f [] = pure ()