Is it not possible to specify one and infer one type in a generic function [duplicate]