This construct causes code to be less generic than indicated by its type annotations. The type variable implied by the use ...