Fix #13819 by refactoring TypeEqOrigin.uo_thing
[ghc.git] / testsuite / tests / typecheck / should_fail / T13819.stderr
1
2 T13819.hs:12:10: error:
3     • Couldn't match type ‘w0 -> A w0’ with ‘A a’
4       Expected type: a -> A a
5         Actual type: (w1 -> WrappedMonad A w2) (w0 -> A w0)
6     • In the expression: pure @(_ -> WrappedMonad A _) @(_ -> A _) pure
7       In an equation for ‘pure’:
8           pure = pure @(_ -> WrappedMonad A _) @(_ -> A _) pure
9       In the instance declaration for ‘Applicative A’
10     • Relevant bindings include
11         pure :: a -> A a (bound at T13819.hs:12:3)
12
13 T13819.hs:12:17: error:
14     • Expected kind ‘* -> *’, but ‘_ -> WrappedMonad A _’ has kind ‘*’
15     • In the type ‘(_ -> WrappedMonad A _)’
16       In the expression: pure @(_ -> WrappedMonad A _) @(_ -> A _) pure
17       In an equation for ‘pure’:
18           pure = pure @(_ -> WrappedMonad A _) @(_ -> A _) pure