余思于斯

-- Philosophers have only interpreted the world in various ways; the point is to change it.
practice :: Monad negation => negation World -> Labor -> negation World
practice w l = do
  w' <- w
  return $ new w' l