SMS: The coinductive resumption monad