let ($) f g = f g
let some x = Some x

let rec loop () =
    match
        let str = try some $ read_line ()
                  with End_of_file -> None in
        print_endline "So?";
        str
    with
        | Some s ->
            print_endline s;
            loop ()
        | None ->
            ()
;;

loop ()