Is a polymorphic function of higher-kind C[_] ~> D[_] really a natural transformation?

Question

This is a question about terminology, in scala shapeless library I found the following comment:

  /**
   * Base trait for natural transformations.
   *
   * @auth