Question: who does lin manuel miranda play in in the heights
answer: Usnavi