Bump `base` version to 4.9.0.0 (closes #11026)
[ghc.git] / testsuite / tests / typecheck / should_fail / T10194.hs
1 {-# LANGUAGE RankNTypes #-}
2 module T10194 where
3
4 type X = forall a . a
5
6 comp :: (X -> c) -> (a -> X) -> (a -> c)
7 comp = (.)