Inferring parameters list in the reverse order