Given a contravariant type constructor F[-_], if B <: A, then
F[A] <: F[B].
Given a covariant type constructor F[+_], if A <: B, then
F[A] <: F[B].
If A <: B2, then A <: B1 | B2.
(evidenceLowestPrioImplicits: StringAdd).self
(evidenceLowestPrioImplicits: StringFormat).self
(evidenceLowestPrioImplicits: ArrowAssoc[EvidenceLowestPrioImplicits]).x
(Since version 2.10.0) Use leftOfArrow instead
(evidenceLowestPrioImplicits: Ensuring[EvidenceLowestPrioImplicits]).x
(Since version 2.10.0) Use resultOfEnsuring instead