Re: Concept[T] design question

[Araq]

    type
      SetImpl[T] = array[4, int]
    
    var x: SetImpl[Byte]
    matchesConcept(x)
    

It's really like everything else that's concept related. If your concept 
requires there is an `incl` for my set implementation, it better has an `incl`.