We didn't actually need the type specialisation haddock for aggregate