Для частого встречающегося случая без continuations - никаких проблем. И этот примитив покроет процентов 80 реального использования TCO.

Если у тебя continuations в виде захардкоженных функций (т.е. несколько функций, вызывающих одна другую через TCO, но не приходящих как невесть где вычисленные параметры) - то из них довольно несложно сгенерировать одну итеративную. Еще процентов 10-15 использования закроется. Останется то, что пишут адовые гуру - ну так пусть на хаскель идут или ставят аннотацию какую-нибудь чтобы сказать "я понимаю, что это тормоза".