Infer types of function signatures with type parmeters