diff --git a/src/analysis/typepal/Solver.rsc b/src/analysis/typepal/Solver.rsc
index dcbe5ee..8d73b47 100644
--- a/src/analysis/typepal/Solver.rsc
+++ b/src/analysis/typepal/Solver.rsc
@@ -674,6 +674,7 @@ Solver newSolver(map[str,Tree] namedTrees, TModel tm){
         if(!solver_isFullyInstantiated(containerType)){
             throw TypeUnavailable();
         }
+        containerType = instantiate(containerType);
         selectorLoc = getLogicalLoc(selector);
         selectorOrgName = "<selector>";
         selectorName = normalizeName(selectorOrgName);