Associated Type Constraints

Limit the flexibility of generic protocols to ensure type safety in implementations.