Revisiting the conservativity of fixpoints over intuitionistic arithmetic. - Mattias Granberg Olsson; Graham E. Leigh (Arch. Math. Log., 2024)