Prophet
Prophet
This is quite subtle, but the OCaml type you wrote is not actually equivalent to the one in Elm. `'a` variables are *not* implicitly quantified type variables like in Elm...
It's not quite the same type with parentheses though. In that case it is a single-argument constructor that takes a tuple, so e.g. ```ocaml type t1 = A of int...
I know let bindings are not *implcitly* generalized, but is there a reason why gleam does not allow explicit generalizations with a type signature? It's quite unfortunate to not have...