remove Fixpoint superclass dependency