S blížícím se vydáním Go 1.18 dochází k posledním úpravám návrhu generických typů v Go. Tato zatím největší změna od vydání první verze jazyka zahrnuje rozšíření překladače a standardní knihovny. V případě knihovny budou zatím změny provizorní, bez zaručení zpětné kompatibility.
Poslední verze návrhu počítá se zavedením typových množin, které fungují podobné jako algebraické typy a umožňují implementaci silného typového systému s omezeným polymorfismem včetně známých funkcionálních typů jako Optional, Result (pro ošetření chyb) apod. Typové množiny jsou v kódu definovány pomocí rozhraní a nahrazují původně plánované kontrakty.