add example for type defs