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