数値計算に比べて数式処理は世の中の主流になれないみたいな感じなのかな？
map f (map g xs) == map (f . g) xsとか、数式処理みたいなものだと思うんだけど。