what is the huge difference between D's current concepts - except that your idea allows to derive from concepts? http://dlang.org/concepts.html