Layer by layer -- combining monads
scientific article; zbMATH DE number 6983506