> By taking away all the non-essential things and leaving only on what you need, it allows you to truly understand the structures that you are studying.

This is the essence of type abstraction and parametricity!