Exploring Gleam, a type-safe language on the BEAM