Unnecessary type parameters

[mauro3]

I agree:

Addition to parameter of parametric type

One issue I have with Julia’s type parameters, related to this, is that some of them are part of the public API and some of them are private. For above example A might be public, but B isn’t. Another one is: julia> typeof(1.0:0.1:0.9) StepRangeLen{Float64,Base.TwicePrecision{Float64},Base.TwicePrecision{Float64}} Where the first parameter is public (you would potentially use it for dispatch) but the second two are internal ones (I think calculated from the first somehow but I’m not sure). I…