A :: *
= ()