Je considère les systèmes d'effets par rapport aux monades explicites comme différentes syntaxes pour la même sémantique sous-jacente. Même avec les entrées/sorties, les références de tas et toutes les fonctionnalités logiques fonctionnelles, tout dans notre langage Verse avec annotations d'effets peut être traduit en monades Haskell.