documentation: True
haddock-hoogle: True
haddock-internal: True
optimization: 2