ghc/tests/typecheck/should_compile/tc097.hs

   1 -- !!! Local universal quantification.
   2 module ShouldSucceed where
   3
   4 import PrelGHC -- to get at All
   5
   6 data Monad2 m = MkMonad2 (forall a. a -> m a)
   7                          (forall a b.  m a -> (a -> m b) -> m b)
   8
   9 halfListMonad  :: (forall a b. [a] -> (a -> [b]) -> [b]) -> Monad2 []
  10 halfListMonad b = MkMonad2 (\x -> [x]) b