↑の UnboundedRange がほしいのって、 subscript(_ f: (Element, Element) -> ClosedRange<Element>) -> SubSequence だと ... 以外が入れられるから？