I appreciated seeing -- through the course videos -- that the concept of a functor is exactly what is _needed_ to define the meaning of a polymorphic datatype.

And similarly the concept of a natural transformation is just what the doctor ordered for describing the meaning of a polymorphic function.