Re: [Hs-Generics] multirec-rewriting status?