| Just n <- loop , i /= n = False  -- ρ tail || reciprocal

         | Just n <- loop , i /= n = False  -- ρ tail