SmalltalkのMetaclassのあたりはグチャグチャで汚らしいよね。
なんでMetametaclass、Metametametaclassがなくて、ClassとMetaclass
の2段だけなのか？ 答：特に理由はない。
なんでいっそJavaみたいにClassだけにしなかったのか？ 答：特に理由はない。

自分自身を（間接的に）要素に持つ集合なんて言うのを安直に考えた型システ
ムは健全でなくなるが、ちゃんと考慮されてるのか？ 答：深く考えてない。