 checkTypes = (ctx) ->
   # failed = mapToArray filterMap ((name) -> name is 'could not unify'), ctx.substitution
   if isFailed ctx.substitution
-    map labelConflicts, ctx.substitution.fails
+    labelConflicts _fst ctx.substitution.fails
     ctx.substitution.fails
 
 labelConflicts = (fail) ->

        op.op.name is 'Fn' and arg.op.name is 'Fn'
      op: op.op
      args: join op.args, arg.args
    else if op.args
      op: op.op
      args: join op.args, [arg]
    else
      op: op
      args: [arg]
  else
    type


  map labelConflict, fail.conflicts

labelConflict = (conflict) ->
  if conflict.TypeVariable and conflict.ref.val
    labelConflict conflict.ref.val
  else
    conflict.error = yes

lookupJs = (moduleName) ->
  js = (lookupCompiledModule moduleName)?.js
