Agents are monads (but not that kind) · HackerTrans