"Strict and lazy semantics for effects: layering monads and comonads."

Andrew K. Hirsch, Ross Tate (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics