testsuite/tests/typecheck/should_compile/T16033.hs


1
2
3
4
5
6
7

{-# LANGUAGE GADTs #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}
module T16033 where

f    :: (forall x. x -> forall y. y -> c) -> ()
f (_ ::  forall a. a -> forall b. b -> c)  = ()