not everywhere, I often have a need for it in template arguments for instance for type lists: std::conditional< some_property< T, U,

not everywhere, I often have a need for it in template arguments for instance for type lists: std::conditional< some_property< T, U, >, int, float, >; is a compile error, I really prefer std::conditional< some_property< T , U > , int , float >;