Fix impredicativity (again)
[ghc.git] / testsuite / tests / typecheck / should_fail / T9323.hs
1 module T9323 where
2
3 broken :: [Int]
4 broken = ()
5
6 ambiguous :: a -> String
7 ambiguous _ = show 0