module ShouldCompile where

f (x :: Int) = x + 1