The coinductive resumption monad - Piróg, M; Gibbons, J (2014)