Control.Monad.Objective.Class

type Inst' f g

type Instance' f g

type Instance f g m

class ObjectiveBase b

(.-)

(.^)

(.&)