blob: 394c53a0130aec7d520673c81c51b1277795fd8e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE ExplicitForAll, PolyKinds #-}
module T15264 where
import Data.Proxy
bad1 :: forall (a :: k). Proxy a -> ()
bad1 _ = ()
bad2 :: forall (a :: k1) (b :: k2). Proxy a -> ()
bad2 _ = ()
good :: forall k (a :: k). Proxy a -> ()
good _ = ()
|