Control.Monad.Objective.Class

type Inst' f g

class ObjectiveBase b

type MonadObjective b m

(.->)

(.-)

(.^)

(.&)

(.!)

invocation