Proper import of `Widget`