[Haskell-cafe] Rank-2 types in classes

Max Bolingbroke batterseapower at hotmail.com
Thu Mar 3 00:02:48 CET 2011

2011/3/2 Yves Parès <limestrael at gmail.com>:
> Is what I'm trying to do a common technique to type-ensure contexts or are
> there simpler methods?

I don't understand your problem well enough to be able to venture a
solid opinion on this. Sorry! What you have detailed so far doesn't
sound too complex, though.


More information about the Haskell-Cafe mailing list