Re: [Haskell-cafe] AT solution: rebinding >>= for restricted monads

Hi, On 12/19/06, Jacques Carette wrote:

First, I believe that this paper http://homepages.inf.ed.ac.uk/ratkey/param-notions.pdf is intimately related to WitnessMonad.

This paper definitely seems to be related. Thanks for the link! -Iavor