added Fixpoint class