Add example of using template assertions.