In which play does 'a ghost and a prince meet. And everyone ends in mincemeat'?

Hamlet. At least according to the wonderful Howard Dietz lyric for 'That's Entertainment' in the Hollywood musical 'The Band Wagon' (1952).