Re: Concept[T] design question

[mora]

@jcosborn I see. Let me think about it.

@andrea I'll check how static[int] is implemented (I can imagine that `3` is 
encoded in the type).