`out F: KindOrId` -> this doesn’t reflect that ...
# arrow-contributors
p
out F: KindOrId
-> this doesn’t reflect that F is left-associative