##[[Version 4 lists]]## ##[[Monads in Category Theory]]##