The nForum has moved to Zulip: Monads on monoids.