Conte por que você acha que a classificação de “haskell-ghc-typelits-knownnat” deveria ser diferente. Citações de fontes ajudam.