Free est une construction intéressante, si l'on en juge par la quantité d'encre et, occasionnellement, de sang, qu'elle fait couler. Elle est cependant assez mal comprise dans notre communauté. J'ai récemment enfin eu le déclic, grâce à une explication des plus sibyllines : Free, c'est juste la défonctionnalisation d'une monade dans sa configuration la plus déplaisante. Étrangement, cela a tout débloqué. Dans cette présentation, j'essaie de transmettre cette intuition et de montrer les techniques nécessaires à l'invention de Free.