I was wondering if it's Hindely-Milner, and yes it is according to this interview: https://blog.lambdaclass.com/an-interview-with-the-creator-of-gleam-an-ml-li

I was wondering if it's Hindely-Milner, and yes it is according to this interview: https://blog.lambdaclass.com/an-interview-with-the-creator-of-gleam-an-ml-like-language-for-the-erlang-vm-with-a-compiler/#:~:text=What%20kind%20of,in%20Erlang/Elixir https://blog.lambdaclass.com/an-interview-with-the-creator-o....