Text this: The coinductive resumption monad