What makes you think that template specializations cannot be exported?
I checked the modules and templates chapters of the standard, and I
didn't see anything forbidding explicit template specializations from
being exported.