Reordering of exports of Haddock purposes