@Ambraven @wryk Oui c'est un problème avec la monade IO. Ça peut dérouter au début, c'est normal, d'autant plus qu'être dans un toplevel donc un truc assez impératif dans l'idée n'aide pas vu que c'est fondamentalement une exception par rapport à un programme normal.

Alors déjà l'idée du toplevel ghci, c'est justement qu'il essaye de te montrer tout les résultats qu'il évalue donc si tu lui donnes à manger un truc instance de show, il va utiliser show automatiquement.

Ensuite, comme j'ai dit fondamentalement c'est impératif et c'est pour ça que tu peux écrire une expression de type IO a, et il va l'évaluer. Du coup t'as besoin de rien, juste «generate».