あれは結局複数の文から全体として一つの型を求めてるから。