それはそうですね

1:28 AM

だから、makeIteratorを持つだけの型をベースに

1:29 AM

SequenceとLazySequenceをその継承として再設計、というイメージでした

1:29 AM

えーっと見分け方は、基本的には条件が厳しい方が優先なので

1:29 AM

LazySequenceなら特に外から制約が加わらない限りは、LazySequenceのオーバーロード群が優先されそうです。