ты сказал «несложно», а тут вдруг сложности полезли. ладно, «никаких проблем». цепочка вызовов функций, которая может ветвиться и в некоторых местах рекурсивно начинать ту же цепочку с начала. всё ещё «несложно»? а это нормальный функциональный код, вообще-то.

сложно TCO в циклы преобразовывать, сложно. «несложно» оно как раз для простейшего использования именно в виде конструкции цикла — так никто почти этого не делает, если в языке явные циклы есть. а в случаях, когда TCO реально помогает писать функциональщину, сразу лезут проблемы.

ну и помимо прочего — межпроцедурный анализ усложняет компилятор. причём усложняет бестолково, потому что циклы народ и так будет писать при помощи циклических конструкций, а на чём-то более-менее сложном анализатор всё равно поднимет лапки кверху.