the reason is that right now there isn't a "clear"...

# arrow-contributors

[Eugenio]

the reason is that right now there isn't a "clear" link from the kind id to the type, at least not one that can easily be resolved from an annotation processor