Matchable

The base trait of types that can be safely pattern matched against.

See https://dotty.epfl.ch/docs/reference/other-new-features/matchable.html.