Sealed

Also written: sealed interface, permits

A sealed type lists with permits every type allowed to implement it, so a switch over it can be checked for completeness without a default.