You say "I think there's an important difference", but then, you end up saying precisely the same things about monads and rings. What was the difference?