型と型の間の話がそれぞれ深すぎる。