@@ -244,7 +244,10 @@ mismatchToReport localizer (MismatchInfo hint leftType rightType maybeReason) =
244 ( cmpHint
244 ( cmpHint
245 (prettyName op ++ " is expecting the right argument to be a:")
245 (prettyName op ++ " is expecting the right argument to be a:")
246 "But the right argument is:"
246 "But the right argument is:"
247+ [ "I always figure out the type of the left argument first and if it is\
248+ \ acceptable on its own, I assume it is \"correct\" in subsequent checks.\
249+ \ So the problem may actually be in how the left and right arguments interact."
250 Binop op ->
253 Binop op ->