Что такое мономорфизация с контекстом на C ++?

Недавний разговор Дейва Германа в Русте сказали, что они заимствовали это свойство из C ++. Я не мог найти ничего вокруг темы. Может кто-нибудь объяснить, что означает мономорфизация?