Control.Monad.Objective.Class

type Inst' f g

class ObjectiveBase b

type MonadObjective b m

(.-)

(.^)

(.&)

(.!)

invocation