The type parameter infers its constraints.