Benjamin Franksen wrote: > Partially applying Tracker to one argument ('T a') gives you a type > constructor that has only one remaining 'open' argument and thus can be > made an instance of class Monad.
Totally clear, thanks a lot (also to Keegan). Julien _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe