1 2 3 4 5
{-# LANGUAGE RankNTypes, ScopedTypeVariables #-} module ShouldCompile where f v = (\ (x :: forall a. a->a) -> True) id -- 'c'