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