Fix impredicativity (again)
[ghc.git] / testsuite / tests / typecheck / should_fail / T11112.stderr
1
2 T11112.hs:3:9: error:
3     • Expected a type, but ‘Ord s’ has kind ‘Constraint’
4     • In the type signature:
5         sort :: Ord s -> [s] -> [s]