extensible derivatives