如何使用此声明编写函数：e :: b-> f（g a b c）

Question

在书中找到以下定义： e :: b -> f (g a b c) 但我不明白f (g a b c)

是什么意思