That's actually `Foo[Foo]` rather than `Foo[idx]`.