Associated types and constraint propagation for mainstream object-oriented generics