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