I don't mind this example, but I wonder if a series of examples wouldn't be better, and also to separate the example from the remark about single module importing.