1 2 3 4 5 6 7
.Closed = Subsume Sealed, Additional := { foo = (self: Self) -> Int; } C = Class() C|<: Closed|. foo self = 1 # OK