On the subject of totally trivial code style issues, I notice that sometimes we write `template <typename T>` and sometimes `template<typename T>`.  Nothing significant, just an observation.