purescript-0.15.10: tests/purs/failing/VisibleTypeApplications1.purs

-- @shouldFailWith CannotApplyExpressionOfTypeOnType
module Main where

id :: forall a. a -> a
id a = a

failOne = id @Int