>>711
それでいい人もいれば、それではなんか気持ち悪い人もいる、それぞれだ

俺は後者、理屈が分らんと気持ち悪い

理屈というか、「(a -> M b)が結合できるもの」とか
「(A a b c)が結合できるもの」を抽象化できないと気持ち悪い
抽象化できると（抽象化の過程が理解できると）、
たいていは今まで隠れてた本質が見えてくる

その抽象化の道具として今のところ数学が役に立ってるけど、
別のもので綺麗に抽象化できるならそれでもいい