the same example could be adapted for sealed class...

# language-proposals

[pakoito]

the same example could be adapted for sealed classes, where the compilar makes them inherit a SealedN<A,B,C…> interface, where N is the number of inheriting classes