reverse implicit for sequences