(a.) A comic operetta; a music farce.