exception MyException;
exception MyDataException of int; (* can be any first-class type, not just int *)