f : a | a has A

f