FYI Concepts Lite isn't purely a type constraint system. It can also be used to type specialise in a much more general way than partial type specialisation and eliminate a great many std::enable_if<> or equivalents.
Since Concepts Lite provides native support of type traits and enable_if which it can use to try an improve overloading. Of course, this has the disadvantage of preventing specializations on the type traits(or `concept bool` as they are called in the proposal). However, conditional overloading is a very simple way to solve the overloading problem, and doesn't prevent specializations. Also, with Concepts Lite you would still use an equivalent enable_if, it will just either be a `requires` clause or replacing the template or type parameter. -- View this message in context: http://boost.2283326.n4.nabble.com/Re-GSoC-Boost-Hana-Formal-review-request-... Sent from the Boost - Dev mailing list archive at Nabble.com.