HeterogeneousSequenceを言語仕様で入れちゃうのはありですね