Describir: The coinductive resumption monad