OptionGiven

Companion:
class
class Object
trait Matchable
class Any

Givens

Givens

given exist[T](using x$1: NotGiven[T]): exist[T]
given notExist[T](using t: T): notExist[T]