Sorry, my mistake. To clarify, :

"While sealed classes can only be subclassed within the same file, sealed interfaces can only be implemented within the same file as well." Thank you, I'm going to fix it 🙌