test function type parameters with multiple type parameters