[Hs-Generics] patch applied (generics): New test: can a generic function be extended in another module?