Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T9838.hs
1 module T9838 where
2
3 import T9838a
4
5 foo :: EqShow a => a -> String
6 foo x = show x ++ show (x == x)
7
8 bar :: F Int -> Bool
9 bar x = x