May
16th
Wed
16th
Indexed class families.
Given indexed type families, it is a short leap to indexed class families. And they seem to be quite useful; e.g., to solve Hughes’ problem of a class-based interface for sets.