Textmeddelande: The coinductive resumption monad