Voici une description d'un algorithme impératif gérant des transactions bancaires avec vérification de fraude et états mutables : 'Pour chaque transaction, vérifier le solde, déduire le montant, mettre à jour l'historique, et si le montant est supérieur à 10k, marquer pour audit'. Réécris cette logique en pseudo-code Haskell pur. Explique comment tu gères l'immuabilité et la monade IO ou State pour remplacer les états mutables, sans utiliser d'images.