branches: master haddock: >=8.6