>if you are defining monads to only mean "the IO Monad" Show me one place in my writings where I imply that the IO monad (or state monads generally) is the onl

>if you are defining monads to only mean "the IO Monad" Show me one place in my writings where I imply that the IO monad (or state monads generally) is the only monad.