Extended partialCaseClassDerivative to provide Raph's requirements