:- pred greet(string::in, io::di, io::uo) is det.
greet(Who, !.IO, !:IO) :-
    io.write_string("Hello", !.IO, !:IO),
    io.format(", %s!\n", [s(Who)], !.IO, !:IO).