Комбинатор с фиксированной точкой для взаимно рекурсивных функций?

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

*: конечно, не совсем рекурсивные, поскольку они написаны так, чтобы принимать себя (и братьев и сестер) в качестве аргументов обычным способом Y-Combinator.