diff --git a/src/passes/4-typer/typer.ml b/src/passes/4-typer/typer.ml
index 7acbf5138..28258b9fb 100644
--- a/src/passes/4-typer/typer.ml
+++ b/src/passes/4-typer/typer.ml
@@ -615,12 +615,6 @@ and type_expression : environment -> ?tv_opt:O.type_value -> I.expression -> O.a
       let output_type = body.type_annotation in
       return (E_lambda {binder = fst binder ; body}) (t_function input_type output_type ())
     )
-  | E_constant ("NONE", []) ->
-    let%bind tv_opt = bind_map_option get_t_option tv_opt in
-    begin match tv_opt with
-    | None -> fail @@ simple_info "None without a type annotation"
-    | Some tv -> return (E_constant ("NONE", [])) (t_option tv ())
-    end
   | E_constant (name, lst) ->
       let%bind lst' = bind_list @@ List.map (type_expression e) lst in
       let tv_lst = List.map get_type_annotation lst' in