Notions of Computation Determine Monads

In this session, we investigate how describing effects algebraically generates most of the monads traditionally used to model said effects.