#include <refl.hpp>
Detects whther the type U is a template specialization of T. (e.g. is_instance_of<std::vector<>, std::vector<int>>) Inherits from std::bool_constant<>.