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