     ctx.assignType prefixedName, quantifiedType
   freshInstanceType
 
-prefixWithInstanceName = (definitionPairs, instanceName) ->
+prefixWithInstanceName = (ctx, definitionPairs, instanceName) ->
   for [lhs, rhs] in definitionPairs
-    if (syntaxNewName 'Method name required', lhs) is true
+    if (syntaxNewName ctx, 'Method name required', lhs) is true
       [(token_ instancePrefix instanceName, lhs.symbol), rhs]
     else
       [lhs, rhs]

    else if /^\\u[a-fA-F0-9]{4}/.test symbol
      '"' + symbol + '"'
    else
      malformed atom, 'Unrecognized character'
      ''
  type: toConstrained charType
  translation: translation


    [instanceConstraint, defs...] = _validArguments call
    if not isCall instanceConstraint
      return malformed ctx, call, 'Instance requires a class constraint'
    else
      instanceType = typeConstraintCompile ctx, instanceConstraint
    [constraintSeq, wheres...] = defs
