sealed interface and sealed class