Generalized algebraic data types in Scala have been notoriously difficult to implement, in a way that is both sound and expressive enough to enable their typical use cases. Both major Scala compilers, Scalac and Dotty, are currently known to have soundness holes related to GADTs. The situation is particularly dire with covariant GADTs, where paradoxes due to Scala’s inheritance model have been exposed. This short paper is meant as an informal exploration of possible foundations for GADTs within Scala’s core constructs. Our aim is to formulate some important insights which could guide further implementation efforts towards a principled understanding of GADTs in Scala.