Conte por que você acha que a classificação de “libghc-agda-doc” deveria ser diferente. Citações de fontes ajudam.