Control.Monad.Logic.Class
class
MonadLogic
m
reflect
lnot