     else if type.TypeConstr
       no
     else if type.TypeApp
-      isNormalizedConstraintArgument type.op.type
+      isNormalizedConstraintArgument type.op
 
 
 typeEq = (a, b) ->

  assignCompileAs ctx, expression, translatedExpression, yes

patternCompile = (ctx, pattern, matched, polymorphic) ->

  # caching can occur while compiling the pattern
  # precs are {cond}s and {cache}s, sorted in order they need to be executed
  {precs, assigns} = expressionCompile ctx, pattern


typeNamesOfNormalized = (constraint) ->
  #map (({name}) -> name), constraint.types.types
  [printType constraint.types.types[0]]

accessList = (what, list) ->
  [first, rest...] = list
