type Foo = distinct uint64
const slice = 0 ..< 42.Foo