Revised version at https://wg21.link/p2581r1

On page 3, you show the source of the PMIU for some module A. May I assume the #include <string> into the module purview is just another incident of 'fat fingers'? Attaching standard library entities to a module outside of the standard's realm is usually considered a no-no.

Ciao
  Dani