Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T2846b.hs
1 {-# LANGUAGE ImpredicativeTypes, FlexibleContexts #-}
2 module T2846 where
3
4 f :: String
5 f = show ([1,2,3] :: [Num a => a])
6