[Hs-Generics] SYB with base >= 4.3