Seems like this approach might also work for building type-specific collection implementations as well!