"a musical about Alexander Hamilton."