[Hs-Generics] patch applied (generics): WTree representation for syb3

Back to the list