話をまとめると、こんな場合でも型推論できるというけれど、
そのかわり型に応じた演算子オーバーロードが出来ないhaskell。

ということだね！