I think you're confusing it with Concepts. Contracts are basically just asserts, nothing to do with templates.