The base trait of types that can be safely pattern matched against.
See https://docs.scala-lang.org/scala3/reference/other-new-features/matchable.html.