slides from the type provider talk