Stav dette: The coinductive resumption monad