CPL (圏論プログラミング言語)
Haskellによる実装