Fonctionnalité: pureté et monades pour les IO

Discussion sur pureté, monades et garantie qu'une fonction sans IO ne peut pas faire d'accès réseau ou fichier.