[Hs-Generics] patch applied (generics): All tests now compile for PolyP (but many fail)