     # First get rid of instances of already resolved types
     unresolvedNames = newMap()
     for name, types of values names
-      if canonicalType = ctx.type name
+      if (canonicalType = ctx.type name) and canonicalType not instanceof TempType
         for type in types
           unify ctx, type.type, (freshInstance ctx, canonicalType).type
       else

  typeAst = astize tokenize printType type
  syntaxType typeAst
  collapse toHtml typeAst

_type = (declaration) ->
  declaration.type

  visitExpressions ast, (expression) ->
    expressions.push "#{collapse toHtml expression} :: #{highlightType expression.tea}" if expression.tea
  types: values mapMap (__ highlightType, _type), subtractMaps ctx._scope(), builtInDefinitions()
  subs: subToObject mapSub highlightType, ctx.substitution
  ast: expressions
  deferred: ctx.deferredBindings()

