A value of type NotGiven to signal a successful search for NotGiven[C] (i.e.
A value of type NotGiven to signal a successful search for NotGiven[C] (i.e. a failing search for C). A reference to this value will be explicitly constructed by Dotty's implicit search algorithm