haddock headers for Format, Level, Magma