purescript-0.9.1: examples/warning/ShadowedTypeVar.purs
-- @shouldWarnWith ShadowedTypeVar module Main where f :: forall a. (forall a. a -> a) -> a -> a f g x = g x
-- @shouldWarnWith ShadowedTypeVar module Main where f :: forall a. (forall a. a -> a) -> a -> a f g x = g x