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