Indeed it is :) Dropping an example in TryOcaml[0]: let f : int -> int = fun _ -> 1 ;; val f : int -> int = <fun> let ex : int list = [f] ;; L

Indeed it is :) Dropping an example in TryOcaml[0]: let f : int -> int = fun _ -> 1 ;; val f : int -> int = <fun> let ex : int list = [f] ;; Line 1, characters 21-22: Error: This expression has type int -> int but an expression was expected of type int [0]: https://try.ocamlpro.com/ https://try.ocamlpro.com/