@@ -48,7 +48,8 @@ toReport err =
4848 (subRegion, preHint) = hintToString hint
4949
5050 postHint =
51− "During type inference, I am seeing a conflict between this type:\n\n"
51+ "To be more specific, as I infer all the types, I am seeing a conflict between\n"
52+ ++ "this type:\n\n"
5253 ++ P.render (P.nest 4 (P.pretty False leftType))
5354 ++ "\n\nand this type:\n\n"
5455 ++ P.render (P.nest 4 (P.pretty False rightType))