:: m Bool -> m Bool -> m Bool package:lifted-base

Generalized version of finally. Note, any monadic side effects in m of the "afterward" computation will be discarded.
Generalized version of onException. Note, any monadic side effects in m of the "afterward" computation will be discarded.