Resolving dependencies...
Downloading  tagged-0.8.10
Downloaded   tagged-0.8.10
Configuring tagged-0.8.10...
Preprocessing library for tagged-0.8.10..
Building library for tagged-0.8.10..
[1 of 2] Compiling Data.Proxy.TH    ( src/Data/Proxy/TH.hs, dist/build/Data/Proxy/TH.o, dist/build/Data/Proxy/TH.dyn_o )
[2 of 2] Compiling Data.Tagged      ( src/Data/Tagged.hs, dist/build/Data/Tagged.o, dist/build/Data/Tagged.dyn_o )
Preprocessing library for tagged-0.8.10..
Running Haddock on library for tagged-0.8.10..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 2] Compiling Data.Proxy.TH    ( src/Data/Proxy/TH.hs, nothing )
[2 of 2] Compiling Data.Tagged      ( src/Data/Tagged.hs, nothing )
Haddock coverage:
Warning: 'Proxy' is ambiguous. It is defined
    * in Data.Proxy
    * in Data.Proxy
    You may be able to disambiguate the identifier by qualifying it or
    by specifying the type/value namespace explicitly.
    Defaulting to the one defined in Data.Proxy
  66% (  2 /  3) in 'Data.Proxy.TH'
  Missing documentation for:
    Module header
Warning: 'Tagged' is ambiguous. It is defined
    * at src/Data/Tagged.hs:83:22
    * at src/Data/Tagged.hs:83:1
    You may be able to disambiguate the identifier by qualifying it or
    by specifying the type/value namespace explicitly.
    Defaulting to the one defined at src/Data/Tagged.hs:83:1
Warning: 'Proxy' is ambiguous. It is defined
    * in Data.Proxy
    * in Data.Proxy
    You may be able to disambiguate the identifier by qualifying it or
    by specifying the type/value namespace explicitly.
    Defaulting to the one defined in Data.Proxy
  93% ( 14 / 15) in 'Data.Tagged'
  Missing documentation for:
    witness (src/Data/Tagged.hs:389)
Warning: Data.Tagged: could not find link destinations for: 
	- Data.Tagged.Rep_Tagged
	- Data.Tagged.Rep1_Tagged
Documentation created: dist/doc/html/tagged/, dist/doc/html/tagged/tagged.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/tagged-0.8.10-AB5hoggHcu9Fkw7jqxEFs0
Completed    tagged-0.8.10