and outputs are always the concrete type
# arrow-contributors
p
and outputs are always the concrete type