Fail fast in solveLocalEqualities
[ghc.git] / testsuite / tests / typecheck / should_fail / T13819.stderr
1
2 T13819.hs:12:17: error:
3     • Expected kind ‘* -> *’, but ‘_ -> WrappedMonad A _’ has kind ‘*’
4     • In the type ‘(_ -> WrappedMonad A _)’
5       In the expression: pure @(_ -> WrappedMonad A _) @(_ -> A _) pure
6       In an equation for ‘pure’:
7           pure = pure @(_ -> WrappedMonad A _) @(_ -> A _) pure