testsuite/tests/typecheck/should_fail/T17213a.hs


1
2
3
4
5

{-# LANGUAGE RankNTypes #-}
module T17213a where
 
foo :: (forall a. a->a)-> Int
foo x = error "ukr"