use implicitly[c1.type <:< c2.type]
Here is a discussion from the original paper I read which discusses whether the set of types is countable. Castagna’s claim is that types are recursively enumerable sets, while the powerset is not. COVARIANCE AND CONTRAVARIANCE: A FRESH LOOK AT AN OLD ISSUE: section 2.1, footnote 2