[throwawaymaths]

Gleam's type system is (IIUC) basically h-m bolted onto the beam. elixir's is its own