template programming in nest lang, pair defined using template construct, nest-style