Представь что есть case class A и есть у него в компаньене имплисит инстанс для Show[A]. Представь что есть case class B(a:A) и у него в компаньене gen для Show[B] . Вопрос, будет ли этот gen использовать имплисит A без явного импорта или он сгенерирует автоматом для б и а