Cum transform o lista de actiuni de IO in actiunea-secventa a lor ?

Folositi o functie sequence_ cum este cea de mai jos.

 
sequence_         :: [ IO() ] -> IO ()
sequence_  []     = return ()
sequence_  (a:as) = do a
                       sequence_ as           -- atentie la aliniere !!

Sequence_ se putea defini si intelege si ca un foldr, ca o schimbare a operatorilor cons ":" de pe lista cu secventierea (>>) (care se pronunta then ) a doua actiuni de IO. Valoarea initiala pentru foldr este bineinteles actiunea de IO vida: return ()

sequence_ = foldr (>>) (return () )

---

Nota: atat sequence cat si sequence_ ar trebui sa fie definite deja nu numai pentru Monada de IO ci si in general pentru oricare dintre monade. Tipul lor este de fapt mai general decat am scris mai sus.

Cum il aflati ?
tastati :t sequence
apoi
tastati :t sequence_