On Wednesday, 24 August 2016 at 08:39:28 UTC, Nordlöw wrote: > Such an implementation is `IndexedBy` at > > https://github.com/nordlow/phobos-next/blob/master/src/typecons_ex.d#L167 Correction: Index type here is actually a Ada-style modulo type which does wrap-around instead of truncation.