If it helps in any way in my upcoming meta work fo...

# arrow-contributors

[raulraja]

If it helps in any way in my upcoming meta work for kinds and type proofs, kinds no longer require inheritance so you don’t need ListK, SequenceK or any wrapper