# \#template

**URL:** https://discourse.ats-lang.org/tag/template/1.md

[Latest](https://discourse.ats-lang.org/latest.md) · [Categories](https://discourse.ats-lang.org/categories.md) · [Tags](https://discourse.ats-lang.org/tags.md)

---

## [Instantiating template for some types](https://discourse.ats-lang.org/t/instantiating-template-for-some-types/864)

<div class="topic-metadata">

**Author:** [@steinwaywhw](https://discourse.ats-lang.org/u/steinwaywhw)\
**Replies:** 0\
**Last updated:** [August 31, 2016, 6:17pm UTC](https://discourse.ats-lang.org/t/instantiating-template-for-some-types/864 "2016-08-31T18:17:57Z")

</div>

To instantiate a template over not one but some types, follow these examples. implement (n:int) gprint\_val\<string1 n\> (str) = gprint\_val\<string\> (g0ofg1 str) implement (a:t@ype, b:t@ype) gcompare\_val\_val\<@(a,b)\>…