These macros are used on type traits to define the set of requires