module TypeSignature where f,g :: Int -> Int f x = 2 * x g x = x + x