[Haskell-cafe] Re: Type equality proof

[Martijn van Steenbergen]

Ashley Yakeley wrote:
> Have a look at these:
> 
> http://hackage.haskell.org/cgi-bin/hackage-scripts/package/witness
> http://hackage.haskell.org/cgi-bin/hackage-scripts/package/open-witness

Ah, nice! It seems most we came up with is already in there. Even Any 
which I use in my project but didn't think of putting in the package is 
there. No use anymore for a new package now, I guess. On the other hand, 
I can't find the comm, trans, coerce, subst and resp. Would it be an 
idea to add those to your package?

Thanks,

Martijn.