MonadLast updated Apr 23, 2024Continuation monaddistributive lawDo notation for strong monadsCentre of a monad in SetEffects of a monadFrobenius monadString diagrams for monad and monad algebras