that requires one generic parameter to be fixed to...
# arrow
p
that requires one generic parameter to be fixed to an existing value