If it is to be passed to other procs `typeof(x[])` is enough. If you want to check the type for branching use `is` like `when foo is typeof(x[[])`
The string representation might change if the type is defined within the module or not AFAIK. If within the module there is no :ObjectType but I may remember incorrectly, anyway the stringification is not stable.
