Hi, On 12/19/06, Jacques Carette <[EMAIL PROTECTED]> 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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe