Hello,
Redefining `TestType` this way allows reusing `AbstractType`, but I find it a
little repetitive:
type
TestType*[T : distinct AbstractType | AbstractType; Y : distinct
AbstractType | AbstractType] = object
a : T
b : Y
RunAlso, welcome to Nim, @vitreo12 !
