Lin Manuel Miranda had a guest appearance on which of the following shows?

Modern Family
Supernatural
Psych
How I Met Your Mother