Type Parameter Scoping Rules

Navigate visibility and shadowing rules within generic function and type definitions.