In Disney's Encanto, Lin-Manuel Miranda's compositional trademark (an exposition-heavy, brilliantly-written opening number) is extremely rewarding to sing. Protagonist Mirabel proudly proclaims insight into the miracle-blessed Madrigal family, led by their severe yet well-meaning Abuela.