Testsuite: remove Windows CR [skip ci]

18 files changed, 397 insertions, 397 deletions

diff --git a/testsuite/tests/partial-sigs/should_fail/Defaulting1MROff.stderr b/testsuite/tests/partial-sigs/should_fail/Defaulting1MROff.stderr
index 98fd37770b..59c6755547 100644
--- a/testsuite/tests/partial-sigs/should_fail/Defaulting1MROff.stderr
+++ b/testsuite/tests/partial-sigs/should_fail/Defaulting1MROff.stderr
@@ -1,4 +1,4 @@
-

-Defaulting1MROff.hs:7:10: warning: [-Wpartial-type-signatures (in -Wdefault)]

-    • Found type wildcard ‘_’ standing for ‘Integer’

-    • In the type signature: alpha :: _

+
+Defaulting1MROff.hs:7:10: warning: [-Wpartial-type-signatures (in -Wdefault)]
+    • Found type wildcard ‘_’ standing for ‘Integer’
+    • In the type signature: alpha :: _
diff --git a/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardInExpressionSignature.stderr b/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardInExpressionSignature.stderr
index b634ec4eb7..6978418c46 100644
--- a/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardInExpressionSignature.stderr
+++ b/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardInExpressionSignature.stderr
@@ -1,32 +1,32 @@
-

-ExtraConstraintsWildcardInExpressionSignature.hs:5:20: warning: [-Wpartial-type-signatures (in -Wdefault)]

-    • Found type wildcard ‘_’ standing for ‘Eq a1’

-      Where: ‘a1’ is a rigid type variable bound by

-               the inferred type of <expression> :: Eq a1 => a1 -> a1 -> Bool

-               at ExtraConstraintsWildcardInExpressionSignature.hs:5:20-25

-    • In an expression type signature: _ => _

-      In the expression: (==) :: _ => _

-      In the expression: ((==) :: _ => _) x y

-    • Relevant bindings include

-        y :: a

-          (bound at ExtraConstraintsWildcardInExpressionSignature.hs:5:7)

-        x :: a

-          (bound at ExtraConstraintsWildcardInExpressionSignature.hs:5:5)

-        foo :: a -> a -> Bool

-          (bound at ExtraConstraintsWildcardInExpressionSignature.hs:5:1)

-

-ExtraConstraintsWildcardInExpressionSignature.hs:5:25: warning: [-Wpartial-type-signatures (in -Wdefault)]

-    • Found type wildcard ‘_’ standing for ‘a1 -> a1 -> Bool’

-      Where: ‘a1’ is a rigid type variable bound by

-               the inferred type of <expression> :: Eq a1 => a1 -> a1 -> Bool

-               at ExtraConstraintsWildcardInExpressionSignature.hs:5:20-25

-    • In an expression type signature: _ => _

-      In the expression: (==) :: _ => _

-      In the expression: ((==) :: _ => _) x y

-    • Relevant bindings include

-        y :: a

-          (bound at ExtraConstraintsWildcardInExpressionSignature.hs:5:7)

-        x :: a

-          (bound at ExtraConstraintsWildcardInExpressionSignature.hs:5:5)

-        foo :: a -> a -> Bool

-          (bound at ExtraConstraintsWildcardInExpressionSignature.hs:5:1)

+
+ExtraConstraintsWildcardInExpressionSignature.hs:5:20: warning: [-Wpartial-type-signatures (in -Wdefault)]
+    • Found type wildcard ‘_’ standing for ‘Eq a1’
+      Where: ‘a1’ is a rigid type variable bound by
+               the inferred type of <expression> :: Eq a1 => a1 -> a1 -> Bool
+               at ExtraConstraintsWildcardInExpressionSignature.hs:5:20-25
+    • In an expression type signature: _ => _
+      In the expression: (==) :: _ => _
+      In the expression: ((==) :: _ => _) x y
+    • Relevant bindings include
+        y :: a
+          (bound at ExtraConstraintsWildcardInExpressionSignature.hs:5:7)
+        x :: a
+          (bound at ExtraConstraintsWildcardInExpressionSignature.hs:5:5)
+        foo :: a -> a -> Bool
+          (bound at ExtraConstraintsWildcardInExpressionSignature.hs:5:1)
+
+ExtraConstraintsWildcardInExpressionSignature.hs:5:25: warning: [-Wpartial-type-signatures (in -Wdefault)]
+    • Found type wildcard ‘_’ standing for ‘a1 -> a1 -> Bool’
+      Where: ‘a1’ is a rigid type variable bound by
+               the inferred type of <expression> :: Eq a1 => a1 -> a1 -> Bool
+               at ExtraConstraintsWildcardInExpressionSignature.hs:5:20-25
+    • In an expression type signature: _ => _
+      In the expression: (==) :: _ => _
+      In the expression: ((==) :: _ => _) x y
+    • Relevant bindings include
+        y :: a
+          (bound at ExtraConstraintsWildcardInExpressionSignature.hs:5:7)
+        x :: a
+          (bound at ExtraConstraintsWildcardInExpressionSignature.hs:5:5)
+        foo :: a -> a -> Bool
+          (bound at ExtraConstraintsWildcardInExpressionSignature.hs:5:1)
diff --git a/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotEnabled.stderr b/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotEnabled.stderr
index 0790605837..e6c2780537 100644
--- a/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotEnabled.stderr
+++ b/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotEnabled.stderr
@@ -1,8 +1,8 @@
-

-ExtraConstraintsWildcardNotEnabled.hs:4:10: error:

-    • Found type wildcard ‘_’ standing for ‘Show a’

-      Where: ‘a’ is a rigid type variable bound by

-               the inferred type of show' :: Show a => a -> String

-               at ExtraConstraintsWildcardNotEnabled.hs:5:1-16

-      To use the inferred type, enable PartialTypeSignatures

-    • In the type signature: show' :: _ => a -> String

+
+ExtraConstraintsWildcardNotEnabled.hs:4:10: error:
+    • Found type wildcard ‘_’ standing for ‘Show a’
+      Where: ‘a’ is a rigid type variable bound by
+               the inferred type of show' :: Show a => a -> String
+               at ExtraConstraintsWildcardNotEnabled.hs:5:1-16
+      To use the inferred type, enable PartialTypeSignatures
+    • In the type signature: show' :: _ => a -> String
diff --git a/testsuite/tests/partial-sigs/should_fail/InstantiatedNamedWildcardsInConstraints.stderr b/testsuite/tests/partial-sigs/should_fail/InstantiatedNamedWildcardsInConstraints.stderr
index ed33f25d47..69207b1af1 100644
--- a/testsuite/tests/partial-sigs/should_fail/InstantiatedNamedWildcardsInConstraints.stderr
+++ b/testsuite/tests/partial-sigs/should_fail/InstantiatedNamedWildcardsInConstraints.stderr
@@ -1,16 +1,16 @@
-

-InstantiatedNamedWildcardsInConstraints.hs:4:14: error:

-    • Found type wildcard ‘_a’ standing for ‘b’

-      Where: ‘b’ is a rigid type variable bound by

-               the inferred type of foo :: (Enum b, Show b) => b -> (String, b)

-               at InstantiatedNamedWildcardsInConstraints.hs:5:1-26

-      To use the inferred type, enable PartialTypeSignatures

-    • In the type signature: foo :: (Enum _a, _) => _a -> (String, b)

-

-InstantiatedNamedWildcardsInConstraints.hs:4:18: error:

-    • Found type wildcard ‘_’ standing for ‘Show b’

-      Where: ‘b’ is a rigid type variable bound by

-               the inferred type of foo :: (Enum b, Show b) => b -> (String, b)

-               at InstantiatedNamedWildcardsInConstraints.hs:5:1-26

-      To use the inferred type, enable PartialTypeSignatures

-    • In the type signature: foo :: (Enum _a, _) => _a -> (String, b)

+
+InstantiatedNamedWildcardsInConstraints.hs:4:14: error:
+    • Found type wildcard ‘_a’ standing for ‘b’
+      Where: ‘b’ is a rigid type variable bound by
+               the inferred type of foo :: (Enum b, Show b) => b -> (String, b)
+               at InstantiatedNamedWildcardsInConstraints.hs:5:1-26
+      To use the inferred type, enable PartialTypeSignatures
+    • In the type signature: foo :: (Enum _a, _) => _a -> (String, b)
+
+InstantiatedNamedWildcardsInConstraints.hs:4:18: error:
+    • Found type wildcard ‘_’ standing for ‘Show b’
+      Where: ‘b’ is a rigid type variable bound by
+               the inferred type of foo :: (Enum b, Show b) => b -> (String, b)
+               at InstantiatedNamedWildcardsInConstraints.hs:5:1-26
+      To use the inferred type, enable PartialTypeSignatures
+    • In the type signature: foo :: (Enum _a, _) => _a -> (String, b)
diff --git a/testsuite/tests/partial-sigs/should_fail/NamedExtraConstraintsWildcard.stderr b/testsuite/tests/partial-sigs/should_fail/NamedExtraConstraintsWildcard.stderr
index 0019ec85da..43ba8ccce7 100644
--- a/testsuite/tests/partial-sigs/should_fail/NamedExtraConstraintsWildcard.stderr
+++ b/testsuite/tests/partial-sigs/should_fail/NamedExtraConstraintsWildcard.stderr
@@ -1,11 +1,11 @@
-

-NamedExtraConstraintsWildcard.hs:5:1: error:

-    • Could not deduce: w0

-      from the context: (Eq a, w)

-        bound by the inferred type for ‘foo’:

-                   (Eq a, w) => a -> a

-        at NamedExtraConstraintsWildcard.hs:5:1-15

-    • In the ambiguity check for the inferred type for ‘foo’

-      To defer the ambiguity check to use sites, enable AllowAmbiguousTypes

-      When checking the inferred type

-        foo :: forall (w :: Constraint) a. (Eq a, w) => a -> a

+
+NamedExtraConstraintsWildcard.hs:5:1: error:
+    • Could not deduce: w0
+      from the context: (Eq a, w)
+        bound by the inferred type for ‘foo’:
+                   (Eq a, w) => a -> a
+        at NamedExtraConstraintsWildcard.hs:5:1-15
+    • In the ambiguity check for the inferred type for ‘foo’
+      To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+      When checking the inferred type
+        foo :: forall (w :: Constraint) a. (Eq a, w) => a -> a
diff --git a/testsuite/tests/partial-sigs/should_fail/NamedWildcardExplicitForall.stderr b/testsuite/tests/partial-sigs/should_fail/NamedWildcardExplicitForall.stderr
index d401382141..2bae8abddb 100644
--- a/testsuite/tests/partial-sigs/should_fail/NamedWildcardExplicitForall.stderr
+++ b/testsuite/tests/partial-sigs/should_fail/NamedWildcardExplicitForall.stderr
@@ -1,41 +1,41 @@
-

-NamedWildcardExplicitForall.hs:8:7: error:

-    • Couldn't match type ‘_a’ with ‘Bool’

-      ‘_a’ is a rigid type variable bound by

-        the type signature for:

-          foo :: forall _a. _a -> _a

-        at NamedWildcardExplicitForall.hs:7:1-27

-      Expected type: _a -> _a

-        Actual type: Bool -> Bool

-    • In the expression: not

-      In an equation for ‘foo’: foo = not

-    • Relevant bindings include

-        foo :: _a -> _a (bound at NamedWildcardExplicitForall.hs:8:1)

-

-NamedWildcardExplicitForall.hs:10:8: error:

-    • Found type wildcard ‘_a’ standing for ‘Bool’

-      To use the inferred type, enable PartialTypeSignatures

-    • In the type signature: bar :: _a -> _a

-

-NamedWildcardExplicitForall.hs:13:26: error:

-    • Found type wildcard ‘_b’ standing for ‘Bool’

-      To use the inferred type, enable PartialTypeSignatures

-    • In the type signature: baz :: forall _a. _a -> _b -> (_a, _b)

-

-NamedWildcardExplicitForall.hs:14:16: error:

-    • Couldn't match expected type ‘Bool’ with actual type ‘_a’

-      ‘_a’ is a rigid type variable bound by

-        the inferred type of baz :: _a -> Bool -> (_a, Bool)

-        at NamedWildcardExplicitForall.hs:14:1-24

-    • In the first argument of ‘not’, namely ‘x’

-      In the expression: not x

-      In the expression: (not x, not y)

-    • Relevant bindings include

-        x :: _a (bound at NamedWildcardExplicitForall.hs:14:5)

-        baz :: _a -> Bool -> (_a, Bool)

-          (bound at NamedWildcardExplicitForall.hs:14:1)

-

-NamedWildcardExplicitForall.hs:16:8: error:

-    • Found type wildcard ‘_a’ standing for ‘Bool’

-      To use the inferred type, enable PartialTypeSignatures

-    • In the type signature: qux :: _a -> (forall _a. _a -> _a) -> _a

+
+NamedWildcardExplicitForall.hs:8:7: error:
+    • Couldn't match type ‘_a’ with ‘Bool’
+      ‘_a’ is a rigid type variable bound by
+        the type signature for:
+          foo :: forall _a. _a -> _a
+        at NamedWildcardExplicitForall.hs:7:1-27
+      Expected type: _a -> _a
+        Actual type: Bool -> Bool
+    • In the expression: not
+      In an equation for ‘foo’: foo = not
+    • Relevant bindings include
+        foo :: _a -> _a (bound at NamedWildcardExplicitForall.hs:8:1)
+
+NamedWildcardExplicitForall.hs:10:8: error:
+    • Found type wildcard ‘_a’ standing for ‘Bool’
+      To use the inferred type, enable PartialTypeSignatures
+    • In the type signature: bar :: _a -> _a
+
+NamedWildcardExplicitForall.hs:13:26: error:
+    • Found type wildcard ‘_b’ standing for ‘Bool’
+      To use the inferred type, enable PartialTypeSignatures
+    • In the type signature: baz :: forall _a. _a -> _b -> (_a, _b)
+
+NamedWildcardExplicitForall.hs:14:16: error:
+    • Couldn't match expected type ‘Bool’ with actual type ‘_a’
+      ‘_a’ is a rigid type variable bound by
+        the inferred type of baz :: _a -> Bool -> (_a, Bool)
+        at NamedWildcardExplicitForall.hs:14:1-24
+    • In the first argument of ‘not’, namely ‘x’
+      In the expression: not x
+      In the expression: (not x, not y)
+    • Relevant bindings include
+        x :: _a (bound at NamedWildcardExplicitForall.hs:14:5)
+        baz :: _a -> Bool -> (_a, Bool)
+          (bound at NamedWildcardExplicitForall.hs:14:1)
+
+NamedWildcardExplicitForall.hs:16:8: error:
+    • Found type wildcard ‘_a’ standing for ‘Bool’
+      To use the inferred type, enable PartialTypeSignatures
+    • In the type signature: qux :: _a -> (forall _a. _a -> _a) -> _a
diff --git a/testsuite/tests/partial-sigs/should_fail/NamedWildcardsEnabled.stderr b/testsuite/tests/partial-sigs/should_fail/NamedWildcardsEnabled.stderr
index 34bf595a7f..409ed511f0 100644
--- a/testsuite/tests/partial-sigs/should_fail/NamedWildcardsEnabled.stderr
+++ b/testsuite/tests/partial-sigs/should_fail/NamedWildcardsEnabled.stderr
@@ -1,10 +1,10 @@
-

-NamedWildcardsEnabled.hs:4:8: error:

-    • Found type wildcard ‘_a’ standing for ‘Bool’

-      To use the inferred type, enable PartialTypeSignatures

-    • In the type signature: foo :: _a -> _b

-

-NamedWildcardsEnabled.hs:4:14: error:

-    • Found type wildcard ‘_b’ standing for ‘Bool’

-      To use the inferred type, enable PartialTypeSignatures

-    • In the type signature: foo :: _a -> _b

+
+NamedWildcardsEnabled.hs:4:8: error:
+    • Found type wildcard ‘_a’ standing for ‘Bool’
+      To use the inferred type, enable PartialTypeSignatures
+    • In the type signature: foo :: _a -> _b
+
+NamedWildcardsEnabled.hs:4:14: error:
+    • Found type wildcard ‘_b’ standing for ‘Bool’
+      To use the inferred type, enable PartialTypeSignatures
+    • In the type signature: foo :: _a -> _b
diff --git a/testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotEnabled.stderr b/testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotEnabled.stderr
index baaaf010d7..bddc470060 100644
--- a/testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotEnabled.stderr
+++ b/testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotEnabled.stderr
@@ -1,24 +1,24 @@
-

-NamedWildcardsNotEnabled.hs:4:9: error:

-    • Couldn't match expected type ‘_b’ with actual type ‘Bool’

-      ‘_b’ is a rigid type variable bound by

-        the type signature for:

-          foo :: forall _a _b. _a -> _b

-        at NamedWildcardsNotEnabled.hs:3:1-15

-    • In the expression: not x

-      In an equation for ‘foo’: foo x = not x

-    • Relevant bindings include

-        foo :: _a -> _b (bound at NamedWildcardsNotEnabled.hs:4:1)

-

-NamedWildcardsNotEnabled.hs:4:13: error:

-    • Couldn't match expected type ‘Bool’ with actual type ‘_a’

-      ‘_a’ is a rigid type variable bound by

-        the type signature for:

-          foo :: forall _a _b. _a -> _b

-        at NamedWildcardsNotEnabled.hs:3:1-15

-    • In the first argument of ‘not’, namely ‘x’

-      In the expression: not x

-      In an equation for ‘foo’: foo x = not x

-    • Relevant bindings include

-        x :: _a (bound at NamedWildcardsNotEnabled.hs:4:5)

-        foo :: _a -> _b (bound at NamedWildcardsNotEnabled.hs:4:1)

+
+NamedWildcardsNotEnabled.hs:4:9: error:
+    • Couldn't match expected type ‘_b’ with actual type ‘Bool’
+      ‘_b’ is a rigid type variable bound by
+        the type signature for:
+          foo :: forall _a _b. _a -> _b
+        at NamedWildcardsNotEnabled.hs:3:1-15
+    • In the expression: not x
+      In an equation for ‘foo’: foo x = not x
+    • Relevant bindings include
+        foo :: _a -> _b (bound at NamedWildcardsNotEnabled.hs:4:1)
+
+NamedWildcardsNotEnabled.hs:4:13: error:
+    • Couldn't match expected type ‘Bool’ with actual type ‘_a’
+      ‘_a’ is a rigid type variable bound by
+        the type signature for:
+          foo :: forall _a _b. _a -> _b
+        at NamedWildcardsNotEnabled.hs:3:1-15
+    • In the first argument of ‘not’, namely ‘x’
+      In the expression: not x
+      In an equation for ‘foo’: foo x = not x
+    • Relevant bindings include
+        x :: _a (bound at NamedWildcardsNotEnabled.hs:4:5)
+        foo :: _a -> _b (bound at NamedWildcardsNotEnabled.hs:4:1)
diff --git a/testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotInMonotype.stderr b/testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotInMonotype.stderr
index 20176895eb..0f21053621 100644
--- a/testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotInMonotype.stderr
+++ b/testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotInMonotype.stderr
@@ -1,12 +1,12 @@
-

-NamedWildcardsNotInMonotype.hs:5:1: error:

-    • Could not deduce (Eq w0)

-      from the context: (Show a, Eq w, Eq a)

-        bound by the inferred type for ‘foo’:

-                   (Show a, Eq w, Eq a) => a -> a -> String

-        at NamedWildcardsNotInMonotype.hs:5:1-33

-      The type variable ‘w0’ is ambiguous

-    • In the ambiguity check for the inferred type for ‘foo’

-      To defer the ambiguity check to use sites, enable AllowAmbiguousTypes

-      When checking the inferred type

-        foo :: forall w a. (Show a, Eq w, Eq a) => a -> a -> String

+
+NamedWildcardsNotInMonotype.hs:5:1: error:
+    • Could not deduce (Eq w0)
+      from the context: (Show a, Eq w, Eq a)
+        bound by the inferred type for ‘foo’:
+                   (Show a, Eq w, Eq a) => a -> a -> String
+        at NamedWildcardsNotInMonotype.hs:5:1-33
+      The type variable ‘w0’ is ambiguous
+    • In the ambiguity check for the inferred type for ‘foo’
+      To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+      When checking the inferred type
+        foo :: forall w a. (Show a, Eq w, Eq a) => a -> a -> String
diff --git a/testsuite/tests/partial-sigs/should_fail/PartialTypeSignaturesDisabled.stderr b/testsuite/tests/partial-sigs/should_fail/PartialTypeSignaturesDisabled.stderr
index 91a8dbe7fd..8e20d3fe98 100644
--- a/testsuite/tests/partial-sigs/should_fail/PartialTypeSignaturesDisabled.stderr
+++ b/testsuite/tests/partial-sigs/should_fail/PartialTypeSignaturesDisabled.stderr
@@ -1,10 +1,10 @@
-

-PartialTypeSignaturesDisabled.hs:4:8: error:

-    • Found type wildcard ‘_’ standing for ‘Bool’

-      To use the inferred type, enable PartialTypeSignatures

-    • In the type signature: foo :: _ -> _

-

-PartialTypeSignaturesDisabled.hs:4:13: error:

-    • Found type wildcard ‘_’ standing for ‘Bool’

-      To use the inferred type, enable PartialTypeSignatures

-    • In the type signature: foo :: _ -> _

+
+PartialTypeSignaturesDisabled.hs:4:8: error:
+    • Found type wildcard ‘_’ standing for ‘Bool’
+      To use the inferred type, enable PartialTypeSignatures
+    • In the type signature: foo :: _ -> _
+
+PartialTypeSignaturesDisabled.hs:4:13: error:
+    • Found type wildcard ‘_’ standing for ‘Bool’
+      To use the inferred type, enable PartialTypeSignatures
+    • In the type signature: foo :: _ -> _
diff --git a/testsuite/tests/partial-sigs/should_fail/PatBind3.stderr b/testsuite/tests/partial-sigs/should_fail/PatBind3.stderr
index c04cfa2315..f20ae3c563 100644
--- a/testsuite/tests/partial-sigs/should_fail/PatBind3.stderr
+++ b/testsuite/tests/partial-sigs/should_fail/PatBind3.stderr
@@ -1,9 +1,9 @@
-

-PatBind3.hs:6:12: error:

-    • Couldn't match type ‘(Bool, w)’ with ‘Char’

-      Expected type: Maybe ((Bool, w) -> Char)

-        Actual type: Maybe ((Bool, w) -> (Bool, w))

-    • In the expression: Just id

-      In a pattern binding: Just foo = Just id

-    • Relevant bindings include

-        foo :: (Bool, w) -> Char (bound at PatBind3.hs:6:6)

+
+PatBind3.hs:6:12: error:
+    • Couldn't match type ‘(Bool, w)’ with ‘Char’
+      Expected type: Maybe ((Bool, w) -> Char)
+        Actual type: Maybe ((Bool, w) -> (Bool, w))
+    • In the expression: Just id
+      In a pattern binding: Just foo = Just id
+    • Relevant bindings include
+        foo :: (Bool, w) -> Char (bound at PatBind3.hs:6:6)
diff --git a/testsuite/tests/partial-sigs/should_fail/T10615.stderr b/testsuite/tests/partial-sigs/should_fail/T10615.stderr
index 9e46dd20d1..c17759a531 100644
--- a/testsuite/tests/partial-sigs/should_fail/T10615.stderr
+++ b/testsuite/tests/partial-sigs/should_fail/T10615.stderr
@@ -1,32 +1,32 @@
-

-T10615.hs:4:7: error:

-    • Found type wildcard ‘_’ standing for ‘a1’

-      Where: ‘a1’ is an ambiguous type variable

-      To use the inferred type, enable PartialTypeSignatures

-    • In the type signature: f1 :: _ -> f

-

-T10615.hs:5:6: error:

-    • Couldn't match type ‘f’ with ‘b1 -> a1’

-      ‘f’ is a rigid type variable bound by

-        the inferred type of f1 :: a1 -> f at T10615.hs:5:1-10

-      Expected type: a1 -> f

-        Actual type: a1 -> b1 -> a1

-    • In the expression: const

-      In an equation for ‘f1’: f1 = const

-    • Relevant bindings include f1 :: a1 -> f (bound at T10615.hs:5:1)

-

-T10615.hs:7:7: error:

-    • Found type wildcard ‘_’ standing for ‘a0’

-      Where: ‘a0’ is an ambiguous type variable

-      To use the inferred type, enable PartialTypeSignatures

-    • In the type signature: f2 :: _ -> _f

-

-T10615.hs:8:6: error:

-    • Couldn't match type ‘_f’ with ‘b0 -> a0’

-      ‘_f’ is a rigid type variable bound by

-        the inferred type of f2 :: a0 -> _f at T10615.hs:8:1-10

-      Expected type: a0 -> _f

-        Actual type: a0 -> b0 -> a0

-    • In the expression: const

-      In an equation for ‘f2’: f2 = const

-    • Relevant bindings include f2 :: a0 -> _f (bound at T10615.hs:8:1)

+
+T10615.hs:4:7: error:
+    • Found type wildcard ‘_’ standing for ‘a1’
+      Where: ‘a1’ is an ambiguous type variable
+      To use the inferred type, enable PartialTypeSignatures
+    • In the type signature: f1 :: _ -> f
+
+T10615.hs:5:6: error:
+    • Couldn't match type ‘f’ with ‘b1 -> a1’
+      ‘f’ is a rigid type variable bound by
+        the inferred type of f1 :: a1 -> f at T10615.hs:5:1-10
+      Expected type: a1 -> f
+        Actual type: a1 -> b1 -> a1
+    • In the expression: const
+      In an equation for ‘f1’: f1 = const
+    • Relevant bindings include f1 :: a1 -> f (bound at T10615.hs:5:1)
+
+T10615.hs:7:7: error:
+    • Found type wildcard ‘_’ standing for ‘a0’
+      Where: ‘a0’ is an ambiguous type variable
+      To use the inferred type, enable PartialTypeSignatures
+    • In the type signature: f2 :: _ -> _f
+
+T10615.hs:8:6: error:
+    • Couldn't match type ‘_f’ with ‘b0 -> a0’
+      ‘_f’ is a rigid type variable bound by
+        the inferred type of f2 :: a0 -> _f at T10615.hs:8:1-10
+      Expected type: a0 -> _f
+        Actual type: a0 -> b0 -> a0
+    • In the expression: const
+      In an equation for ‘f2’: f2 = const
+    • Relevant bindings include f2 :: a0 -> _f (bound at T10615.hs:8:1)
diff --git a/testsuite/tests/partial-sigs/should_fail/T10999.stderr b/testsuite/tests/partial-sigs/should_fail/T10999.stderr
index fff2bdeae9..582cf1a70e 100644
--- a/testsuite/tests/partial-sigs/should_fail/T10999.stderr
+++ b/testsuite/tests/partial-sigs/should_fail/T10999.stderr
@@ -1,34 +1,34 @@
-

-T10999.hs:5:6: error:

-    • Found type wildcard ‘_’ standing for ‘Ord a’

-      Where: ‘a’ is a rigid type variable bound by

-               the inferred type of f :: Ord a => () -> Set.Set a

-               at T10999.hs:6:1-28

-      To use the inferred type, enable PartialTypeSignatures

-    • In the type signature: f :: _ => () -> _

-

-T10999.hs:5:17: error:

-    • Found type wildcard ‘_’ standing for ‘Set.Set a’

-      Where: ‘a’ is a rigid type variable bound by

-               the inferred type of f :: Ord a => () -> Set.Set a

-               at T10999.hs:6:1-28

-      To use the inferred type, enable PartialTypeSignatures

-    • In the type signature: f :: _ => () -> _

-

-T10999.hs:8:28: error:

-    • Ambiguous type variable ‘b0’ arising from a use of ‘f’

-      prevents the constraint ‘(Ord b0)’ from being solved.

-      Relevant bindings include g :: [b0] (bound at T10999.hs:8:1)

-      Probable fix: use a type annotation to specify what ‘b0’ should be.

-      These potential instances exist:

-        instance Ord a => Ord (Set.Set a)

-          -- Defined in ‘containers-0.5.7.1:Data.Set.Base’

-        instance Ord Ordering -- Defined in ‘GHC.Classes’

-        instance Ord Integer

-          -- Defined in ‘integer-gmp-1.0.0.1:GHC.Integer.Type’

-        ...plus 23 others

-        ...plus two instances involving out-of-scope types

-        (use -fprint-potential-instances to see them all)

-    • In the second argument of ‘($)’, namely ‘f ()’

-      In the second argument of ‘($)’, namely ‘Set.toList $ f ()’

-      In the expression: map fst $ Set.toList $ f ()

+
+T10999.hs:5:6: error:
+    • Found type wildcard ‘_’ standing for ‘Ord a’
+      Where: ‘a’ is a rigid type variable bound by
+               the inferred type of f :: Ord a => () -> Set.Set a
+               at T10999.hs:6:1-28
+      To use the inferred type, enable PartialTypeSignatures
+    • In the type signature: f :: _ => () -> _
+
+T10999.hs:5:17: error:
+    • Found type wildcard ‘_’ standing for ‘Set.Set a’
+      Where: ‘a’ is a rigid type variable bound by
+               the inferred type of f :: Ord a => () -> Set.Set a
+               at T10999.hs:6:1-28
+      To use the inferred type, enable PartialTypeSignatures
+    • In the type signature: f :: _ => () -> _
+
+T10999.hs:8:28: error:
+    • Ambiguous type variable ‘b0’ arising from a use of ‘f’
+      prevents the constraint ‘(Ord b0)’ from being solved.
+      Relevant bindings include g :: [b0] (bound at T10999.hs:8:1)
+      Probable fix: use a type annotation to specify what ‘b0’ should be.
+      These potential instances exist:
+        instance Ord a => Ord (Set.Set a)
+          -- Defined in ‘containers-0.5.7.1:Data.Set.Base’
+        instance Ord Ordering -- Defined in ‘GHC.Classes’
+        instance Ord Integer
+          -- Defined in ‘integer-gmp-1.0.0.1:GHC.Integer.Type’
+        ...plus 23 others
+        ...plus two instances involving out-of-scope types
+        (use -fprint-potential-instances to see them all)
+    • In the second argument of ‘($)’, namely ‘f ()’
+      In the second argument of ‘($)’, namely ‘Set.toList $ f ()’
+      In the expression: map fst $ Set.toList $ f ()
diff --git a/testsuite/tests/partial-sigs/should_fail/T11122.stderr b/testsuite/tests/partial-sigs/should_fail/T11122.stderr
index 9216985a58..d308c4771d 100644
--- a/testsuite/tests/partial-sigs/should_fail/T11122.stderr
+++ b/testsuite/tests/partial-sigs/should_fail/T11122.stderr
@@ -1,4 +1,4 @@
-

-T11122.hs:19:18: warning: [-Wpartial-type-signatures (in -Wdefault)]

-    • Found type wildcard ‘_’ standing for ‘Int’

-    • In the type signature: parser :: Parser _

+
+T11122.hs:19:18: warning: [-Wpartial-type-signatures (in -Wdefault)]
+    • Found type wildcard ‘_’ standing for ‘Int’
+    • In the type signature: parser :: Parser _
diff --git a/testsuite/tests/partial-sigs/should_fail/T11976.stderr b/testsuite/tests/partial-sigs/should_fail/T11976.stderr
index ac7319891e..7bfe11899e 100644
--- a/testsuite/tests/partial-sigs/should_fail/T11976.stderr
+++ b/testsuite/tests/partial-sigs/should_fail/T11976.stderr
@@ -1,7 +1,7 @@
-

-T11976.hs:7:20: error:

-    • Expecting one fewer arguments to ‘Lens w0 w1’

-      Expected kind ‘k0 -> *’, but ‘Lens w0 w1’ has kind ‘*’

-    • In the type ‘Lens _ _ _’

-      In an expression type signature: Lens _ _ _

-      In the expression: undefined :: Lens _ _ _

+
+T11976.hs:7:20: error:
+    • Expecting one fewer arguments to ‘Lens w0 w1’
+      Expected kind ‘k0 -> *’, but ‘Lens w0 w1’ has kind ‘*’
+    • In the type ‘Lens _ _ _’
+      In an expression type signature: Lens _ _ _
+      In the expression: undefined :: Lens _ _ _
diff --git a/testsuite/tests/partial-sigs/should_fail/TidyClash.stderr b/testsuite/tests/partial-sigs/should_fail/TidyClash.stderr
index 596abe1160..c90699048b 100644
--- a/testsuite/tests/partial-sigs/should_fail/TidyClash.stderr
+++ b/testsuite/tests/partial-sigs/should_fail/TidyClash.stderr
@@ -1,16 +1,16 @@
-

-TidyClash.hs:8:19: error:

-    • Found type wildcard ‘_’ standing for ‘w1’

-      Where: ‘w1’ is a rigid type variable bound by

-               the inferred type of bar :: w_ -> (w_, w1 -> w)

-               at TidyClash.hs:9:1-28

-      To use the inferred type, enable PartialTypeSignatures

-    • In the type signature: bar :: w_ -> (w_, _ -> _)

-

-TidyClash.hs:8:24: error:

-    • Found type wildcard ‘_’ standing for ‘w’

-      Where: ‘w’ is a rigid type variable bound by

-               the inferred type of bar :: w_ -> (w_, w1 -> w)

-               at TidyClash.hs:9:1-28

-      To use the inferred type, enable PartialTypeSignatures

-    • In the type signature: bar :: w_ -> (w_, _ -> _)

+
+TidyClash.hs:8:19: error:
+    • Found type wildcard ‘_’ standing for ‘w1’
+      Where: ‘w1’ is a rigid type variable bound by
+               the inferred type of bar :: w_ -> (w_, w1 -> w)
+               at TidyClash.hs:9:1-28
+      To use the inferred type, enable PartialTypeSignatures
+    • In the type signature: bar :: w_ -> (w_, _ -> _)
+
+TidyClash.hs:8:24: error:
+    • Found type wildcard ‘_’ standing for ‘w’
+      Where: ‘w’ is a rigid type variable bound by
+               the inferred type of bar :: w_ -> (w_, w1 -> w)
+               at TidyClash.hs:9:1-28
+      To use the inferred type, enable PartialTypeSignatures
+    • In the type signature: bar :: w_ -> (w_, _ -> _)
diff --git a/testsuite/tests/partial-sigs/should_fail/TidyClash2.stderr b/testsuite/tests/partial-sigs/should_fail/TidyClash2.stderr
index 00c3874a4b..3488ffc3e2 100644
--- a/testsuite/tests/partial-sigs/should_fail/TidyClash2.stderr
+++ b/testsuite/tests/partial-sigs/should_fail/TidyClash2.stderr
@@ -1,53 +1,53 @@
-

-TidyClash2.hs:13:20: error:

-    • Found type wildcard ‘_’ standing for ‘w1’

-      Where: ‘w1’ is a rigid type variable bound by

-               the inferred type of barry :: w1 -> w -> t at TidyClash2.hs:14:1-40

-      To use the inferred type, enable PartialTypeSignatures

-    • In the type signature: barry :: forall t. _ -> _ -> t

-

-TidyClash2.hs:13:25: error:

-    • Found type wildcard ‘_’ standing for ‘w’

-      Where: ‘w’ is a rigid type variable bound by

-               the inferred type of barry :: w1 -> w -> t at TidyClash2.hs:14:1-40

-      To use the inferred type, enable PartialTypeSignatures

-    • In the type signature: barry :: forall t. _ -> _ -> t

-

-TidyClash2.hs:14:13: error:

-    • Found type wildcard ‘_’ standing for ‘w1’

-      Where: ‘w1’ is a rigid type variable bound by

-               the inferred type of barry :: w1 -> w -> t at TidyClash2.hs:14:1-40

-      To use the inferred type, enable PartialTypeSignatures

-    • In a pattern type signature: _

-      In the pattern: x :: _

-      In an equation for ‘barry’:

-          barry (x :: _) (y :: _) = undefined :: _

-    • Relevant bindings include

-        barry :: w1 -> w -> t (bound at TidyClash2.hs:14:1)

-

-TidyClash2.hs:14:22: error:

-    • Found type wildcard ‘_’ standing for ‘w’

-      Where: ‘w’ is a rigid type variable bound by

-               the inferred type of barry :: w1 -> w -> t at TidyClash2.hs:14:1-40

-      To use the inferred type, enable PartialTypeSignatures

-    • In a pattern type signature: _

-      In the pattern: y :: _

-      In an equation for ‘barry’:

-          barry (x :: _) (y :: _) = undefined :: _

-    • Relevant bindings include

-        x :: w1 (bound at TidyClash2.hs:14:8)

-        barry :: w1 -> w -> t (bound at TidyClash2.hs:14:1)

-

-TidyClash2.hs:14:40: error:

-    • Found type wildcard ‘_’ standing for ‘w2’

-      Where: ‘w2’ is a rigid type variable bound by

-               the inferred type of <expression> :: w2 at TidyClash2.hs:14:40

-      To use the inferred type, enable PartialTypeSignatures

-    • In an expression type signature: _

-      In the expression: undefined :: _

-      In an equation for ‘barry’:

-          barry (x :: _) (y :: _) = undefined :: _

-    • Relevant bindings include

-        y :: w (bound at TidyClash2.hs:14:17)

-        x :: w1 (bound at TidyClash2.hs:14:8)

-        barry :: w1 -> w -> t (bound at TidyClash2.hs:14:1)

+
+TidyClash2.hs:13:20: error:
+    • Found type wildcard ‘_’ standing for ‘w1’
+      Where: ‘w1’ is a rigid type variable bound by
+               the inferred type of barry :: w1 -> w -> t at TidyClash2.hs:14:1-40
+      To use the inferred type, enable PartialTypeSignatures
+    • In the type signature: barry :: forall t. _ -> _ -> t
+
+TidyClash2.hs:13:25: error:
+    • Found type wildcard ‘_’ standing for ‘w’
+      Where: ‘w’ is a rigid type variable bound by
+               the inferred type of barry :: w1 -> w -> t at TidyClash2.hs:14:1-40
+      To use the inferred type, enable PartialTypeSignatures
+    • In the type signature: barry :: forall t. _ -> _ -> t
+
+TidyClash2.hs:14:13: error:
+    • Found type wildcard ‘_’ standing for ‘w1’
+      Where: ‘w1’ is a rigid type variable bound by
+               the inferred type of barry :: w1 -> w -> t at TidyClash2.hs:14:1-40
+      To use the inferred type, enable PartialTypeSignatures
+    • In a pattern type signature: _
+      In the pattern: x :: _
+      In an equation for ‘barry’:
+          barry (x :: _) (y :: _) = undefined :: _
+    • Relevant bindings include
+        barry :: w1 -> w -> t (bound at TidyClash2.hs:14:1)
+
+TidyClash2.hs:14:22: error:
+    • Found type wildcard ‘_’ standing for ‘w’
+      Where: ‘w’ is a rigid type variable bound by
+               the inferred type of barry :: w1 -> w -> t at TidyClash2.hs:14:1-40
+      To use the inferred type, enable PartialTypeSignatures
+    • In a pattern type signature: _
+      In the pattern: y :: _
+      In an equation for ‘barry’:
+          barry (x :: _) (y :: _) = undefined :: _
+    • Relevant bindings include
+        x :: w1 (bound at TidyClash2.hs:14:8)
+        barry :: w1 -> w -> t (bound at TidyClash2.hs:14:1)
+
+TidyClash2.hs:14:40: error:
+    • Found type wildcard ‘_’ standing for ‘w2’
+      Where: ‘w2’ is a rigid type variable bound by
+               the inferred type of <expression> :: w2 at TidyClash2.hs:14:40
+      To use the inferred type, enable PartialTypeSignatures
+    • In an expression type signature: _
+      In the expression: undefined :: _
+      In an equation for ‘barry’:
+          barry (x :: _) (y :: _) = undefined :: _
+    • Relevant bindings include
+        y :: w (bound at TidyClash2.hs:14:17)
+        x :: w1 (bound at TidyClash2.hs:14:8)
+        barry :: w1 -> w -> t (bound at TidyClash2.hs:14:1)
diff --git a/testsuite/tests/partial-sigs/should_fail/WildcardsInPatternAndExprSig.stderr b/testsuite/tests/partial-sigs/should_fail/WildcardsInPatternAndExprSig.stderr
index 44879c9d4f..726b43898e 100644
--- a/testsuite/tests/partial-sigs/should_fail/WildcardsInPatternAndExprSig.stderr
+++ b/testsuite/tests/partial-sigs/should_fail/WildcardsInPatternAndExprSig.stderr
@@ -1,74 +1,74 @@
-

-WildcardsInPatternAndExprSig.hs:4:18: error:

-    • Found type wildcard ‘_a’ standing for ‘w’

-      Where: ‘w’ is a rigid type variable bound by

-               the inferred type of bar :: Maybe [w] -> w -> [w]

-               at WildcardsInPatternAndExprSig.hs:4:1-68

-      To use the inferred type, enable PartialTypeSignatures

-    • In a pattern type signature: _a

-      In the pattern: x :: _a

-      In the pattern: [x :: _a]

-    • Relevant bindings include

-        bar :: Maybe [w] -> w -> [w]

-          (bound at WildcardsInPatternAndExprSig.hs:4:1)

-

-WildcardsInPatternAndExprSig.hs:4:25: error:

-    • Found type wildcard ‘_’ standing for ‘[w]’

-      Where: ‘w’ is a rigid type variable bound by

-               the inferred type of bar :: Maybe [w] -> w -> [w]

-               at WildcardsInPatternAndExprSig.hs:4:1-68

-      To use the inferred type, enable PartialTypeSignatures

-    • In a pattern type signature: _

-      In the pattern: [x :: _a] :: _

-      In the pattern: Just ([x :: _a] :: _)

-    • Relevant bindings include

-        bar :: Maybe [w] -> w -> [w]

-          (bound at WildcardsInPatternAndExprSig.hs:4:1)

-

-WildcardsInPatternAndExprSig.hs:4:38: error:

-    • Found type wildcard ‘_b’ standing for ‘w’

-      Where: ‘w’ is a rigid type variable bound by

-               the inferred type of bar :: Maybe [w] -> w -> [w]

-               at WildcardsInPatternAndExprSig.hs:4:1-68

-      To use the inferred type, enable PartialTypeSignatures

-    • In a pattern type signature: Maybe [_b]

-      In the pattern: Just ([x :: _a] :: _) :: Maybe [_b]

-      In an equation for ‘bar’:

-          bar (Just ([x :: _a] :: _) :: Maybe [_b]) (z :: _c)

-            = [x, z] :: [_d]

-    • Relevant bindings include

-        bar :: Maybe [w] -> w -> [w]

-          (bound at WildcardsInPatternAndExprSig.hs:4:1)

-

-WildcardsInPatternAndExprSig.hs:4:49: error:

-    • Found type wildcard ‘_c’ standing for ‘w’

-      Where: ‘w’ is a rigid type variable bound by

-               the inferred type of bar :: Maybe [w] -> w -> [w]

-               at WildcardsInPatternAndExprSig.hs:4:1-68

-      To use the inferred type, enable PartialTypeSignatures

-    • In a pattern type signature: _c

-      In the pattern: z :: _c

-      In an equation for ‘bar’:

-          bar (Just ([x :: _a] :: _) :: Maybe [_b]) (z :: _c)

-            = [x, z] :: [_d]

-    • Relevant bindings include

-        x :: w (bound at WildcardsInPatternAndExprSig.hs:4:13)

-        bar :: Maybe [w] -> w -> [w]

-          (bound at WildcardsInPatternAndExprSig.hs:4:1)

-

-WildcardsInPatternAndExprSig.hs:4:66: error:

-    • Found type wildcard ‘_d’ standing for ‘w’

-      Where: ‘w’ is a rigid type variable bound by

-               the inferred type of bar :: Maybe [w] -> w -> [w]

-               at WildcardsInPatternAndExprSig.hs:4:1-68

-      To use the inferred type, enable PartialTypeSignatures

-    • In an expression type signature: [_d]

-      In the expression: [x, z] :: [_d]

-      In an equation for ‘bar’:

-          bar (Just ([x :: _a] :: _) :: Maybe [_b]) (z :: _c)

-            = [x, z] :: [_d]

-    • Relevant bindings include

-        z :: w (bound at WildcardsInPatternAndExprSig.hs:4:44)

-        x :: w (bound at WildcardsInPatternAndExprSig.hs:4:13)

-        bar :: Maybe [w] -> w -> [w]

-          (bound at WildcardsInPatternAndExprSig.hs:4:1)

+
+WildcardsInPatternAndExprSig.hs:4:18: error:
+    • Found type wildcard ‘_a’ standing for ‘w’
+      Where: ‘w’ is a rigid type variable bound by
+               the inferred type of bar :: Maybe [w] -> w -> [w]
+               at WildcardsInPatternAndExprSig.hs:4:1-68
+      To use the inferred type, enable PartialTypeSignatures
+    • In a pattern type signature: _a
+      In the pattern: x :: _a
+      In the pattern: [x :: _a]
+    • Relevant bindings include
+        bar :: Maybe [w] -> w -> [w]
+          (bound at WildcardsInPatternAndExprSig.hs:4:1)
+
+WildcardsInPatternAndExprSig.hs:4:25: error:
+    • Found type wildcard ‘_’ standing for ‘[w]’
+      Where: ‘w’ is a rigid type variable bound by
+               the inferred type of bar :: Maybe [w] -> w -> [w]
+               at WildcardsInPatternAndExprSig.hs:4:1-68
+      To use the inferred type, enable PartialTypeSignatures
+    • In a pattern type signature: _
+      In the pattern: [x :: _a] :: _
+      In the pattern: Just ([x :: _a] :: _)
+    • Relevant bindings include
+        bar :: Maybe [w] -> w -> [w]
+          (bound at WildcardsInPatternAndExprSig.hs:4:1)
+
+WildcardsInPatternAndExprSig.hs:4:38: error:
+    • Found type wildcard ‘_b’ standing for ‘w’
+      Where: ‘w’ is a rigid type variable bound by
+               the inferred type of bar :: Maybe [w] -> w -> [w]
+               at WildcardsInPatternAndExprSig.hs:4:1-68
+      To use the inferred type, enable PartialTypeSignatures
+    • In a pattern type signature: Maybe [_b]
+      In the pattern: Just ([x :: _a] :: _) :: Maybe [_b]
+      In an equation for ‘bar’:
+          bar (Just ([x :: _a] :: _) :: Maybe [_b]) (z :: _c)
+            = [x, z] :: [_d]
+    • Relevant bindings include
+        bar :: Maybe [w] -> w -> [w]
+          (bound at WildcardsInPatternAndExprSig.hs:4:1)
+
+WildcardsInPatternAndExprSig.hs:4:49: error:
+    • Found type wildcard ‘_c’ standing for ‘w’
+      Where: ‘w’ is a rigid type variable bound by
+               the inferred type of bar :: Maybe [w] -> w -> [w]
+               at WildcardsInPatternAndExprSig.hs:4:1-68
+      To use the inferred type, enable PartialTypeSignatures
+    • In a pattern type signature: _c
+      In the pattern: z :: _c
+      In an equation for ‘bar’:
+          bar (Just ([x :: _a] :: _) :: Maybe [_b]) (z :: _c)
+            = [x, z] :: [_d]
+    • Relevant bindings include
+        x :: w (bound at WildcardsInPatternAndExprSig.hs:4:13)
+        bar :: Maybe [w] -> w -> [w]
+          (bound at WildcardsInPatternAndExprSig.hs:4:1)
+
+WildcardsInPatternAndExprSig.hs:4:66: error:
+    • Found type wildcard ‘_d’ standing for ‘w’
+      Where: ‘w’ is a rigid type variable bound by
+               the inferred type of bar :: Maybe [w] -> w -> [w]
+               at WildcardsInPatternAndExprSig.hs:4:1-68
+      To use the inferred type, enable PartialTypeSignatures
+    • In an expression type signature: [_d]
+      In the expression: [x, z] :: [_d]
+      In an equation for ‘bar’:
+          bar (Just ([x :: _a] :: _) :: Maybe [_b]) (z :: _c)
+            = [x, z] :: [_d]
+    • Relevant bindings include
+        z :: w (bound at WildcardsInPatternAndExprSig.hs:4:44)
+        x :: w (bound at WildcardsInPatternAndExprSig.hs:4:13)
+        bar :: Maybe [w] -> w -> [w]
+          (bound at WildcardsInPatternAndExprSig.hs:4:1)