Template:cpp/utility/compare/substitutable