ghc-exactprint-0.2: tests/examples/ForAll.hs

{-# LANGUAGE RankNTypes #-}
module ForAll where

import Data.Data

foo ::  (forall a. Data a => a -> a) -> forall a. Data a => a -> a
foo a = a