SMS dit: The coinductive resumption monad