Added a FixPoint example