Eliminated needless import

[none]
Add `Many`

[none]