liftA
:: Applicative a => (b > c) > a b > a c
Lift a function to actions. 
liftA3
:: Applicative a => (b > c > d > e) > a b > a c > a d > a e
Lift a ternary function to actions. 
when
:: Applicative a => Bool > a () > a ()

sequenceA
:: Applicative a => [a b] > a [b]
Evaluate each action in the list from left to right, and collect the results. 
sequenceA_
:: Applicative a => [a b] > a ()
Evaluate each action in the structure from left to right, and ignore the results. 
Lift a function to actions.
This function may be used as a value for 
Lift a ternary function to actions. 

Evaluate each action in the list from left to right, and collect the results. For a version that ignores the results see sequenceA_. 
Evaluate each action in the structure from left to right, and ignore the results. For a version that doesn't ignore the results see sequenceA. 