Ada-Style Modulo Integer Types

[Nordlöw via Digitalmars-d-learn]

Have anybody implement Ada-style modulo types

https://en.wikibooks.org/wiki/Ada_Programming/Types/mod

in D?

I'm thinking

modulo.d:

struct Mod(size_t m, Block = uint)
{
     static assert(m <= 2^^(8*Block.sizeof));
     Block value;
}

typically used as

Mod!(8, ubyte)
Mod!(256, ubyte)
Mod!(8, uint)

?