Quasi-quotation for multi-generics!