いや、Type Class と、オブジェクト指向の「クラス」は別物な訳だが