Move Box down the list.
DomainOf conforms to CollectionType.
Implicit type parameters.