type A is (<>);
