Resolving dependencies...
Downloading ty-0.1.5...
Configuring ty-0.1.5...
Building ty-0.1.5...
Preprocessing library ty-0.1.5...
[1 of 3] Compiling Data.Proof.EQ    ( src/Data/Proof/EQ.hs, dist/build/Data/Proof/EQ.o )
[2 of 3] Compiling Data.IsTy        ( src/Data/IsTy.hs, dist/build/Data/IsTy.o )
[3 of 3] Compiling Data.Ty          ( src/Data/Ty.hs, dist/build/Data/Ty.o )
In-place registering ty-0.1.5...
Running Haddock for ty-0.1.5...
Running hscolour for ty-0.1.5...
Preprocessing library ty-0.1.5...
Preprocessing library ty-0.1.5...
Haddock coverage:
 100% (  8 /  8) in 'Data.Proof.EQ'
  60% (  3 /  5) in 'Data.IsTy'
Warning: Data.Ty: We do not support associated types in instances yet. These instances are affected:
Data.IsTy.IsTy Data.Ty.Ty
  67% (  8 / 12) in 'Data.Ty'
Documentation created: dist/doc/html/ty/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/ty-0.1.5
Registering ty-0.1.5...
Installed ty-0.1.5