[Haskell-cafe] Local quantification annotations

[Joel Reymont]

Folks,

What are the local quantification annotations they talk about here?

http://www.cc.gatech.edu/~saswat/research/Summary.ps

     Thanks, Joel

--
http://wagerlabs.com/