Il me semble que le numéro 13 du monad reader est important, il y a un article par Brent Yorgey appelé "The Typeclassopedia" qui est essentiel. Pour le trouver, chercher "typeclassopedia haskell" donne le bon lien de suite. David.