The hunters wake with early morn, song, in the opera of Robin Hood, written by