type A = impl Iterator> + 'a;