On 3/11/2013 10:49 PM, deadalnix wrote: > And this is very similar to our template constraint system and static if, except > we are meta here (ie, meta dynamic typing vs meta static typing). The issue I have with it is it is only able to express concepts as types. Values are important, too, as they are also parameters to templates.