Did we ever import the implicit function in scope?