From how I understand this approach, these are effectful functions that have the size effect of printing on a prompt when first ran. While it is true that they

From how I understand this approach, these are effectful functions that have the size effect of printing on a prompt when first ran. While it is true that they yield the same result back to the program on each invocation, so would OCaml invocation `Printf.printf "Hello, World!"`, it namely always returns `()`, but it is quite an effectful function, of course.