-- Let's trick you
{-# LANGUAGE ExplicitForAll #-}
module Test (foo) where

foo :: forall a. a -> a
foo x = x

 Let's trick you
# LANGUAGE ExplicitForAll #
module Test (foo) where

foo :: forall a. a -> a
foo x = x
