type
  CA* = concept c
    c.x is int