La philosophie de Haskell et des langages purement fonctionnels : le monde des monades et ses abysses