Documentation for (&&) and (&&) states that they are lazy in their second argument...
[ghc.git] / testsuite / tests / typecheck / should_compile / T12082.hs
1 {-# LANGUAGE RankNTypes #-}
2
3 module T12082 where
4
5 import Data.Typeable (Typeable)
6 import Control.Monad.ST (RealWorld)
7
8 f :: forall a. (forall b. Typeable b => b -> a) -> a
9 f = undefined :: (RealWorld -> a) -> a