   [first, second] = sortBasedOnOriginPosition constraint, constraint.types.types[0]
   substitutionFail
     message: "No instance found to satisfy #{safePrintType constraint}"
-    conflicts: [(originOf first), (originOf second)]
+    conflicts: [first, second]
 
 _names = (list) ->
   map _symbol, list

declaredTypeMissingConstraint = (ctx, name, constraint) ->
  ctx.extendSubstitution substitutionFail
    message: "#{name}'s declared type is too weak, missing #{printType replaceQuantifiedByOrigin constraint}"
    conflicts: [(originOf constraint), (originOf constraint.types.types[0])]

replaceQuantifiedByOrigin = (type) ->
  if type.QuantifiedVar

  [first, second] = sortBasedOnOriginPosition t1, t2
  substitutionFail
    message: "#{message} #{(safePrintType first)}, #{(safePrintType second)}"
    conflicts: [first, second]
    types: [t1, t2]

sortBasedOnOriginPosition = (t1, t2) ->
