Pre-RFC: Sealed traits