+AbstractGenericType :: ?(#2) >>
 H : ?(#1)
 ...
;

!Behavior >>
 ...
;

!GenericType = AbstractGenericType [RGBColor, Behavior]