[Hs-Generics] patch applied (generics): import BinTreeReps

Back to the list