Názor ke zprávičce Carbon: nový jazyk od Googlu má být nástupcem C++ od klokan - Vznikne konkrétní instanciovaný typ, ale v Haskellu jde...

Vznikne konkrétní instanciovaný typ, ale v Haskellu jde napsat např.

krava::Monad m => Int -> m Int

Neboli funkce, kterou můžu zavolat pro jakoukoli monádu, pokud je možné z ní získat Int. Jak něco takového vyjádříme v C++?