Implement data type Labeled