type annotations for examples