createTypeUniverse
obtain a list of type variable assignments from a generic type instantiation.
See also
for the concrete meaning of this
obtain a list of type variable assignments from a generic type instantiation.
for the concrete meaning of this