Using FixedPoint to nest algorithm applications