ty (hackage): Typed type representations and equality proofs
Keywords: bsd3|data|library