Control.Monad.Objective.Class

class MonadObjective m

invoke

(.&)

(.|-)