:: Monad m => m Bool -> m () -> m () package:ghc-lib-parser

Monadic version of when, taking the condition in the monad
Monadic version of unless, taking the condition in the monad
Sequentially compose two actions, discarding any value produced by the first, like sequencing operators (such as the semicolon) in imperative languages. 'as >> bs' can be understood as the do expression
do as
bs