purescript-0.12.2: tests/purs/failing/TypedHole2.purs

-- @shouldFailWith HoleInferredType
module Main where

import Prelude
import Effect (Effect)

main :: Effect ?ummm
main = pure unit