Бнвач, есть функция типа z a = g $ z a. При какой-то итерации она начинает возвращать значение, равное аргументу (например, g $ g $ g a == g $ g a). Как прервать рекурсию на этой итерации?