can annotate an arbitrary expression
simplified example