Fixed_point_combinator loading ...