useful comment

Author: dehann

src/Common.jl

@@ -6,6 +6,7 @@ _getname(t::T) where T = T.name.name
 
 convertPackedType(t::Union{T, Type{T}}) where {T <: FunctorInferenceType} = getfield(_getmodule(t), Symbol("Packed$(_getname(t))"))
 function convertStructType(::Type{PT}) where {PT <: PackedInferenceType}
+    # see #668 for expanded reasoning.  PT may be ::UnionAll if the type is of template type.
     ptt = PT isa DataType ? PT.name.name : PT
     moduleName = PT isa DataType ? PT.name.module : Main
     symbolName = Symbol(string(ptt)[7:end])