Gleam: a statically typed language by @louispilfold for the Erlang VM gleam.run