Control.Monad.Logic.Class

class MonadLogic m

reflect

lnot