:: Monad m => m Bool -> m () -> m () package:incipit-base

Variant of when that takes a monadic action for the condition.
Variant of unless that takes a monadic action for the condition.
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