Du coup, on utilise souvent quelque chose qui en quelque sorte évalue chacunes leur tour des "actions" (fonctions dont le type de retour est (), équivalent de unit en OCaml et void en C & C++). Mais en gros ça consiste à chaque fois à passer d'une manière ou d'une autre à tes fonctions la nouvelle valeur, et non pas la variable dont tu as modifié la valeur.

Pour les E/S, on utilise la monade I/O. Ceci devrait t'aider : http://www.haskell.org/haskellwiki/IO_inside

Par exemple, si tu lis une String dans la console, tu te retrouves avec une IO String. Si tu veux ensuite la balancer dans une autre monade (List, Maybe, etc) parce que tu en as besoin, alors tu as pas mal de choses pour ce faire. Tu peux par exemple passer une fonction d'une monade dans une autre avec fmap, etc. C'est assez déroutant au début, je te l'accorde.

Si t'as d'autres questions/remarques n'hésite pas.

PS : je te renvoie vers le haskellwiki parce que c'est bien mieux expliqué que ce que je saurais faire, et plus développé également