Alapból a nyelv ezeket nem tudja, de lehet valami hasonlót elérni. Mivel a predikátumok illesztésekor gyakorlatilag tetszőleges "típus" melynek természetesen van értelme, lehet a formális paraméter, így a függvény template-hez valami nagyon közeli fogalom jön létre. Ez természetesen összetett adatszerkezetekre is megvalósítható.