Collection type checking in place