# let k = print_endline "a";;
a
val k : unit = ()
# k
  ;;
- : unit = ()
# let k () = print_endline "a";;
val k : unit -> unit = <fun>
# k;;
- : unit -> unit = <fun>
# k ();;
a
- : unit = ()
#