The biggest problem with `Kind`, in my opinion, is...

# arrow-contributors

[Eugenio]

The biggest problem with Kind, in my opinion, is that classes have to extend it, so it can't be applied to existing classes (which is why there's all the parallel ListK, SequenceK, etc), right?