Menetelmä, jonka määritelmä on paikkamerkkejä, nimeltään yleisiä yhtä tai useampaa tyyppiä käytetään elimistössä menetelmän tai menetelmän parametrit tyyppeinä. Käyttäjä määrittää todellinen tyypit (yleisen tyypin perusteluja) tyypin parametri kutsuttaessa yleinen menetelmä. Huomaa, että menetelmä ei ole yleinen vain, koska sille on määritetty yleinen tyyppi. Menetelmä on yleinen, jos sillä lajiparametreja omaa.