concrete RelativeGus of Relative = CatGus ** RelativeBantu with
 (ResBantu = ResGus);