Control.Monad.Objective.Class

type Inst' f g

class ObjectiveBase b

newSettle

type MonadObjective b m

(.->)

(.-)

(.^)

(.&)

(.!)

invocation