People would still need to import a particular driver. This is a guide for total beginners. Abstracting over drivers is not a high priority thing to show. Beginners would import from a concrete driver and this is what we should do in the tutorial, I think.