module ShouldCompile where

{-# SPECIALISE f :: Int -> Int #-}
f n = n + 1