In my Haskell learning journey,
I can\'t help but notice that parametricity is of the upmost importance in the language. Given how the type system and the inference c
