Arithmetic on type parameters has been discussed but is not yet implemented. See https://github.com/JuliaLang/julia/issues/8322
- [julia-users] Expressing relationships between the integer p... Dylan Tisdall
- Re: [julia-users] Expressing relationships between the ... Jiahao Chen
