@danizord `[]` at the end of a type means "a traversable of <type>"