http://www.open-std.org/JTC1/SC22/WG21/docs/papers/2013/n3602.html
The purpose of this idea is to avoid the helper functions that are currently used in D to build template structs/classes. Even if this feature is restricted to only a subset of all the templated structs/classes it seems useful to avoid some boilerplate code.
Is this idea adaptable to D? Bye, bearophile