val it : α → α = fun

• http://d.hatena.ne.jp/yoriyuki/20050821#p3
• http://d.hatena.ne.jp/lethevert/20050822
• http://d.hatena.ne.jp/yoriyuki/20050822#p1

C++ の関数オブジェクトをなぜファンクタと呼ぶのか、圏論の関手とぜんぜん関係ねーじゃん！(MLのは関係があるように見える)と思ってたので目ウロコでした。