f :: String -> String
f x = show x
  where y :: String
        y = "foo"