Report question

Question: Is it possible to find a common supertype on type-system level in Scala?