e.g. when implementing a trait that is not in the prelude nor in the use list, you could right-click on the trait name and select refactor->add use