module TFunctionLet where

y :: Int
y = let f x = 1 in 1