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