3 ms·

You can constrain type arguments with a compile-time `if` check, and generate a compile error on violation.