Supposedly Joker 2 is going to be a musical