+AbstractType : GenericType >>
 GenericType : _
 ...
;

!GenericType >>
 H : ?(#1)
 ...
;

DataType = AbstractType [RGBColor]