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