Let's try something :

$ ocaml
        OCaml version 4.03.0

# let _ : [] list = [];;
Characters 9-10:
  let _ : [] list = [];;

Error: Syntax error
# type empty = [];;
type empty = []
# let _ : empty list = [];;
- : empty list = []
#