 
 typifyMost = (ast) ->
   apply ast, typeComments, typeDatas, typeTypes, labelSimple, labelMatches,
-    labelFns, labelRequires, labelComments
+    labelFns, labelClasses, labelInstances, labelRequires, labelComments
 
 # Special labeling for files
 

labelFnBody = (node) ->
  return

labelNames = (pattern) ->
  if Array.isArray pattern
    if isList(pattern) or isTuple pattern

    node.tea = subExp s, node.tea if node.tea

inferWheres = (context, pairs, nameIndex) ->
  # 1st find all classes

  # 2nd find all declarations
  for [name, def] in pairs
    [nameIndex, type] = freshOrDeclared def, nameIndex
    addToMap context, name.token, type

  # 3rd type check
  for [name, def] in pairs
    [s1, nameIndex, def] = infer context, def, nameIndex
    s2 = unify (subExp s1, (inSet context, name.token)), def.tea
