Monads and Effects – Part 21 of Categories for Programmers
bartoszmilewski.com