[Hs-Generics] patch applied (generics): syb3 now compiles except for the two missing tests: Nested and FullTree