Jo, a to i u parametrů typů, například Result nebo Continuation. Proto bývá typ chyby nebo výstupní typ první, aby šlo curryfikovat/schönfinkelizovat (on to ale zavedl Frege), člověk pak dostane typ jen s jedním parametrem, který splňuje důležité typové třídy a dá se pak vázat (bind).