toExerciseDatum :: (Data c,Data q,Data a,Data e,Data s) => Datum c q a e s -> ExerciseDatum
toExerciseDatum Started = ExerciseStarted
toExerciseDatum :: (Data c,Data q,Data a,Data e,Data s) => Datum c q a e s -> ExerciseDatum
toExerciseDatum Started = ExerciseStarted
toExerciseDatum Started = ExerciseStarted