Seol mar théacs é seo: Modularity of Galois representations and Langlands functoriality