let coerce_arr arr = AofData.define arr; DataofA.define arr; Ax2AofData.define arr; Ax3IsAofData.define arr