type A is (<>)