you'd like that to be typed according to the real ...
# arrow-contributors
e
you'd like that to be typed according to the real type, but expressed as
Kind