Marked non-extensible classes as sealed