expression: a
type: A & B
