f|T: {Int, Str}|(x: T, _: T): T = x

_ = f 1, 2
_ = f "a", "b"