>>26,28
a, bではなくcompareのほうを、状態をもった関数オブジェクトとして生成する

一例として、

compareのクロージャには、「型名=>その型の引数を受け取った時に呼び出す関数」のテーブルを保持する
そのテーブルに関数を動的に登録するための関数を作成する

例:
IComparable = () => {
　dispatch = {}
　compare = (self, other) => { /*dispatchテーブルから関数を検索して実行*/ }
　implement = (type, fn) => { /* dispatchテーブルにfnを登録 */ }
　return [compare, implement]
}

もちろんdispatchの条件は型名じゃなくても、別の判定用関数を用意してもいい