For a set of type parameters, get all the possible partial specializations.
For a set of type parameters, get all the possible partial specializations.
A partial specialization is represented as a list that gives the types that specifies what a type parameter is instantiated to.