ty

Typed type representations and equality proofs Project wiki page: http://haskell.org/haskellwiki/ty Copyright 2009-2012 Conal Elliott; BSD3 license.