Nice to hear! I&#x27;ve been thinking vaguely about it for a while as a way to explain monads in a wider perspective. Now that someone other than myself seems to find it clarifying, I&#x27;ll try to work it into a short text to put up.