Really? Consider

    f :: a -> b -> a
    f a = g a
    
    g :: a -> b -> a
    g a _ = a

It doesn't seem right to say that g "returns a function that takes one b", whereas you could say that about f.