Lin-Manuel Miranda And Other Great Actors You May Have Forgotten Were On How I Met Your Mother

Do you remember when Lin-Manuel Miranda (and any other of these other actors) were on How I Met Your Mother?