Implementing FixedPoint reflected operators