Lin-Manuel Miranda’s movie musical In the Heights has a post-credits scene. Nobody gets recruited by Nick Fury, but it’s almost as good. Miranda himself, playing a piragüero roaming the streets of Washington Heights and selling shaved-ice called piragua, returns for a musical reprise and a little plot payoff. Finally, that dastardly Mister Softee has been defeated.