汎用的な操作を行う(広義の)module

操作視点で導かれる

関数視点で規定された構造に対する操作・性質・本質的な処理を記述する

汎用的な構造に対して適用する

汎用的な構造に依存するようにする

具体的な構造には依存させない

それを意識すれば、具体的なユースケースを意識しなくて済む？

関数の処理というより、引数の構造が？

汎用的なので、パターンの適用がしやすい

直交性をもたせやすい、持たせたい

型クラス的なイメージ

e.g.

map, foldとか