That encoding is necessary por @deriving among oth...

# arrow-contributors

[raulraja]

That encoding is necessary por @deriving among others since it forwards implementation for the type class instance delegating to the datatypes and the typeclass as expressed can only be done over `HK`s