Implemented data type `event`