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
    
    
    Run

Also, welcome to Nim, @vitreo12 !

Reply via email to