Functorのことかな。

たとえば、Mappingという抽象データ型があって、その実装としてすでに
HashMappingとかTreeMappingとかがあるとする。
Mappingのシグネチャを使ってDictionaryという別の抽象データ型を実装
する手段をFunctorとして与えると、ただちにHashやTreeを使ったDictionary
が利用できるようになる。