The question asked: "Given g :: b -> c, f:: a -> b, and h = g `compose` f,
what is the type of h? (Hint: the type of h is not the same as the type of compose.)"

I want to make sure if I am understanding the question correctly. The compose of g and f is basically saying g(f(x)). The final type of of this composition would be returning the type result of g which would be the type of h now. I just want to make sure if what I am saying and understanding of this question is correct.

Thank you