-- @shouldFailWith HoleInferredType
module Main where

fn _ _ = ?help