Add test for #12589
[ghc.git] / testsuite / tests / typecheck / should_fail / T8142.stderr
1
2 T8142.hs:6:18: error:
3     • Couldn't match type ‘Nu g0’ with ‘Nu g’
4       Expected type: Nu ((,) a) -> Nu g
5         Actual type: Nu ((,) a0) -> Nu g0
6       NB: ‘Nu’ is a type function, and may not be injective
7       The type variable ‘g0’ is ambiguous
8     • In the ambiguity check for the inferred type for ‘h’
9       To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
10       When checking the inferred type
11         h :: forall (g :: * -> *) a. Nu ((,) a) -> Nu g
12       In an equation for ‘tracer’:
13           tracer
14             = h
15             where
16                 h = (\ (_, b) -> ((outI . fmap h) b)) . out