Control.Monad.Objective.Class
type
Instance'
e m
class
MonadObjective
m
(.-)
(.^)