blob: c9368e70e4c8b3583d2cd8ee20d96211e9bdb956 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# LANGUAGE PolyKinds, ExplicitForAll #-}
module T7916 where
f :: forall (m :: k -> *) (a :: k). m a -> m a
f = id
-- g :: forall (m :: k -> *) (a :: k). m a -> m a
g x = f x
data M f = M (f Int)
-- Test that g :: forall (m :: k -> *) (a :: k). m a -> m a
g1 = g :: [Int] -> [Int]
g2 = g :: M [] -> M []
|
