Where is Lin-Manuel Miranda?

Movie	Role
The Little Mermaid (2023)	Producer
tick, tick... BOOM! (2021)	Director, Producer
Hamilton (2020)	Alexander Hamilton, Producer, Writer
My Favorite Shapes by Julio Torres (2019)	Cactus (voice)