documentation: True
haddock-internal: True