2 ms·

I'd love language level constraints for comptime types. This + structs and modules being the exact same thing would be an incredibly powerful combo.