Clarification on usage for non-type type parameters

[Samuele-Colombo]

@rdeits

There’s currently no way to do this. The typical approach is to introduce a new type parameter and then enforce the invariant in your inner constructor

This is unfortunate, your solution is interesting, I’ll try and implement it, but delegating the work of an abstraction to its concrete types removes the elegancy of the usual notation. I hope a language level workaround will be found in future versions of Julia. Thanks!