> 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 i

> 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!