わざわざそこまで説明されなくても
>>146の「述語： 条件式を外から挿す」を読んだだけで
汎用的なものに具体的な処理を注入するって発想にいたると思うんだけどなぁ