purescript-0.12.0: tests/purs/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