Monads as Containers (2021)
wiki.haskell.org