purescript-0.15.5: tests/purs/failing/TypedHole4.purs

-- @shouldFailWith HoleInferredType
-- @shouldFailWith HoleInferredType
module Main where

data F = X | Y

f :: forall a. F -> a -> a
f X b = ?help
f Y b = ?help