Generics.MultiRec.TH: Properly generate code for tuple arguments of constructors