purescript-0.15.15: tests/purs/failing/TypedHole.purs
-- @shouldFailWith HoleInferredType module Main where import Prelude import Effect (Effect) main :: Effect Unit main = ?ummm
-- @shouldFailWith HoleInferredType module Main where import Prelude import Effect (Effect) main :: Effect Unit main = ?ummm