Proper import of `Widget`.