p-adic Langlands functoriality