:: m Bool -> m Bool -> m Bool package:xmonad

&& lifted to a Monad.
|| lifted to a Monad.
p --> x. If p returns True, execute the ManageHook.
(-->) :: Monoid m => Query Bool -> Query m -> Query m -- a simpler type