so the key idea is that inputs are always the Kind...
# arrow-contributors
p
so the key idea is that inputs are always the Kind alias