Lemmata.Bool
whenM
unlessM
ifM
guardM
bool
(&&^)
(||^)
(<&&>)
(<||>)