"he is a valid function declaration in Haskell, and because of the 1, Haskell can determine that the type of f is f :: Int -> Int, or f is a function that takes an integer and returns an integer." . . . .