add example of returning "typedef" in annotation