Most of what you propose already exists in the form of type traits together with `static_assert`. Originally concepts hold the promise of also writing adapters

Most of what you propose already exists in the form of type traits together with `static_assert`. Originally concepts hold the promise of also writing adapters so that you could write meta-programs that transformed one type into another compatible with some other part of your code, but I think that part won't come until later on now.