And to answer the inevitable question, I'm not opposed to getting this into Boost, but it's pretty far down my list of priorities right now. If someone wanted to take this work and run with it, I'd be overjoyed.
I have actually built a separate library based on this. Currently its named Tick[1], but I'm planning on boostifying it and then renaming it to something like Boost.ConceptTraits. One of the big differences between Tick's concept traits and Range-V3's concept traits right now is that Tick doesn't support tag dispatching, since I still want to allow for specialisations(I have found this quite useful). So instead, conditional overloading should be used. However, if people prefer, I could add support for tag dispatching, as well. [1]: https://github.com/pfultz2/Tick -- 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.