purescript-0.15.15: 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