functionalInterfaceParameterizationInference