Так а как же с tail call быть? Дядя на видео говорит, что всё равно решено, ибо always push. Но это же создаёт проблему, разве нет? Если у меня, допустим, функция лениво генерирует список, то какой-нибудь any должен сгенерировать длиннющий стек, т.е. засоряет память, в то время как без трассировки any выбрасывает весь префикс списка, а потому может работать со списком любой длины.