module TFunctionLocal where

f :: Int -> Int
f 1 = g 1
  where
    g x = 1