[Hs-Generics] patch applied (generics): Generic equality for syb3 loops strangely when casting the second arguments