Not in the standard scope due to the potential for divergence: For instance implicitly[Equiv[Any]] diverges in its presence.
implicitly[Equiv[Any]]