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