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