одерски говорит что цирк с биндами оверхеден и лучше бы у функции просто был тип эффект
Насколько я помню, идея у Одерски была в том, что некоторый набор эффектов можно представить как implicit function type, но там всю эту систему элементарно можно обойти.