Bump `base` version to 4.9.0.0 (closes #11026)
[ghc.git] / testsuite / tests / typecheck / should_fail / T7696.hs
1 module T7696 where
2
3 f1 :: (m a, t m)
4 f1 = undefined
5
6 f2 :: ((), w ())
7 f2 = f1
8
9 {-
10 m :: * -> *
11 t :: (* -> *) -> *
12 a :: *
13 w :: * -> *
14
15 m a ~ ()
16 t m ~ w ()
17 -}