Anfonwch hwn fel neges destun: The coinductive resumption monad