expression: a
type: (A&B)
