[Hs-Generics] patch applied (generics): PolyP/Efficiency compilation fixes