Monads and Modularity

by Christoph Lüth, Neil Ghani