汎用的な操作を行うmodule
汎用的な操作を行う(広義の)module
操作視点で導かれる
関数視点で規定された構造に対する操作・性質・本質的な処理を記述する
汎用的な構造に対して適用する
汎用的な構造に依存するようにする
具体的な構造には依存させない
それを意識すれば、具体的なユースケースを意識しなくて済む？
全部多相にするつもりで実装する
関数の処理というより、引数の構造が？
汎用的なので、パターンの適用がしやすい
直交性をもたせやすい、持たせたい
型クラス的なイメージ
e.g.
map, foldとか