Chain a set of templates, and apply Args as input.
Instantiate a template that will check equality of first with second
See Implementation