   if _notEmpty ambiguous
     {error: substitutionFail
       message: "Constraint #{printType ambiguous[0]} is ambiguous for inferred type #{printType finalType}"
-      conflicts: [(originOf type.type), (originOf ambiguous[0])]}
+      conflicts: [type.type, ambiguous[0]]}
   else
     success: [deferred, retained]
 

  if not classParams
    ctx.extendSubstitution substitutionFail
      message: "Constraint #{printType constraint} is ambiguous"
      conflicts: [originOf constraint]
    return {}
  # return "{}" unless classParams
  for className, dict of values classParams


exports.library = library

exports.originOf = originOf
exports.sortedArgs = sortedArgs

exports.isForm = isForm
