Telefona gönder: The coinductive resumption monad