The Constraint Ladder

Define Iterable (begin/end) and SizedIterable (refining it with size), then three category overloads — sized, iterable-only, and other — and verify subsumption routes each type to the right rung.

Difficulty: advanced