path: root/testsuite/tests/th/T11452.hs

{-# LANGUAGE RankNTypes, TemplateHaskell #-}

module T11452 where

impred :: (forall a. a -> a) -> ()
impred = $$( [|| \_ -> () ||] )