FunctorCombo.Derivative
type family
Der
f :: * -> *