Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T7916.hs
1 {-# LANGUAGE PolyKinds, ExplicitForAll #-}
2 module T7916 where
3
4
5 f :: forall (m :: k -> *) (a :: k). m a -> m a
6 f = id
7
8 -- g :: forall (m :: k -> *) (a :: k). m a -> m a
9 g x = f x
10
11 data M f = M (f Int)
12
13 -- Test that g :: forall (m :: k -> *) (a :: k). m a -> m a
14 g1 = g :: [Int] -> [Int]
15 g2 = g :: M [] -> M []