let kind = A.kind