type A = dyn Iterator<Item=Foo<'a>> + 'a;