A theory of monads | lit.salon