如何在haskell中的一对函数上创建匹配模式

Question

我遇到了问题，因为下面的代码不起作用。我认为它会比较类型，所以它总会返回＆＃39; a＆＃39;对于我想要比较的功能。我该怎么办呢？是否有任何功能模式根据名称不同的功能？

leftHasPriority :: (a->b->c) -> (e->f->g) -> Char
leftHasPriority _ (^) = 'a'
leftHasPriority (^) _ = 'b'
leftHasPriority (*) _ = 'c'
leftHasPriority (div) _ = 'd'
leftHasPriority _ (*) = 'e'
leftHasPriority _ (div) = 'f'
leftHasPriority _ _ = 'g'