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

[Iavor Diatchki]

Hi,

On 12/19/06, Jacques Carette <carette at mcmaster.ca> 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