Cabal revisions of ty-0.1.7

Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.

 Name:                ty Version:             0.1.7+x-revision: 1 Synopsis:            Typed type representations and equality proofs Category:            Data Cabal-Version:       >= 1.6   location: git://github.com/conal/ty.git  Library+  other-extensions:    ConstraintKinds   hs-Source-Dirs:      src   Build-Depends:       base<5, ghc-prim   Exposed-Modules: