Add example of using the type provider