   [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


exports.library = library

exports.sortedArgs = sortedArgs

exports.isForm = isForm

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

sortBasedOnOriginPosition = (t1, t2) ->
