and the signature of the type specifies exactly on...
# development
h
and the signature of the type specifies exactly one input type and exactly one product type