「型クラス論」とか「図式論」ではなく圏論になったのはなぜだろう