[opaque pointer type] Pass the explicit function type down to the instruction constru...