plus de bonnes nouvelles pour les constructeurs de monades 🍪