derivative-type