But what if `Kind`, behind the scenes, was erased ...

# arrow-contributors

[Eugenio]

But what if Kind, behind the scenes, was erased at runtime and was actually Any? This way we could statically refer to any type at compile time as if it was Kind, and one wouldn't even need to call fix