Now with the monoid, the category can change. It’s a more relaxed form of monad.
j previous speech k next speech