Add functions from Control.Monad to the prelude #434
Description
I'd like to have some of the functions from Control.Monad, in particular, versions of when and unless that give access to a proof that the condition is true/false.
{{ message }}
I'd like to have some of the functions from Control.Monad, in particular, versions of when and unless that give access to a proof that the condition is true/false.