Exercise: Prove that the polymorphic type constructor:

~~~
Identity a = MkId a
~~~

is a functor taking Hask to Hask. (Again, simplified, "Platonic" Hask.)