See Original text in context
method type_parameter_at(Mu \obj, Int \idx --> Mu) is raw
Returns a particular object from a parameterization given its resulting obj
and an index, skipping the List
-building step of type_parameters
. Dies if none was ever performed.