{-# LANGUAGE ScopedTypeVariables #-}
module ShouldCompile where

f (x :: Int) = x + 1