[Hs-Generics] patch applied (generics): Added PolyP/GEqTree.hs (failing because PolyP cannot extend a polytypic function in this way)