引数にイテレータオブジェクトを取らないものに変わっています。そのため静的にディスパッチできるようになりインライン化も可能です。この「最適化」は可視性を無視します。パッケージのprivate部にあっても構いません。いやま、これは私の感想に過ぎませんので「これは素晴らしい!」と思ってくださっても構わないですが......。checkそのものを抑制できるようになっています。アスペクトが追加されました。型をdiscriminantとして持った別の型を指定します。言葉で書くと分かり辛いですがこんな感じです。