Review the whole library for constructors using member typedefs to name constructor parameters rather than template type parameters, as this inhibits class template deduction. e.g., the unique_lock explicit constructor taking the mutex_type typedef would be better served naming Mutex directly, to preserve support for deduction.

Proposed change: Review each constructor of each library class template, and revise specification of parameter types as needed.