Pošljite SMS: The coinductive resumption monad