On Monday, 16 February 2015 at 20:09:09 UTC, Nordlöw wrote: > I'm trying to figure out how to implement a light-weight wrappr > realizing type-safe indexing á lá Ada. Here's my first try: See also: https://github.com/nordlow/justd/blob/master/typecons_ex.d#L83