Why would we have to export ceylon.collection?