Ocamlのモジュール

Ocamlとか全然知らんのだが("+."とかいう記号に耐えられなかった)、
http://itpro.nikkeibp.co.jp/article/COLUMN/20070116/258746/
を読んだら、Haskellの型クラスと一緒だな〜と思った。ということは誰かが言ってそうだけど、ファンクタってのは、なんか圏論的バックグランドがあるんだろうか。それとも偶然?