Add scoped type variables pragma to example