https://profilbaru.com/en/Fixed_point_combinator