stuck in mutual fixpoint