Sealed classes — permitted subclasses, same module/package rules?

Sealed classes

Sealed types restrict which classes/interfaces may extend them—enables exhaustive pattern matching and documents closed hierarchies (payment types, AST nodes).