[Typer] Monads

Bonjour,

Par rapport aux Monads, Est-ce que ça ne devrait pas être la fonction bind qui créé une Vcommand ?

i.e

c = bind (open "./_build/w_file.txt" "w") (lambda (f : FileHandle) -> write f "Hello");

a = run-io c Unit;

Dans ce cas run-io roule la commande qui a été créé par bind