lin manuel miranda wants to play