Now lets define some Natural Transformations. The rule we have to follow is:

Identity can be transformed into any category!

Here is a definition of NaturalTransformation using fun substitution. For a deep understanding the wikipedia article is pretty good: https://en.wikipedia.org/wiki/Natural_transformation