I knew otp was still suboptimal in gleam, but thanks for mentioning all these additional points!

Funny how preferences and priorities vary among devs, I need my static type system! :-) But note even in static type systems there are variations. I'm talking about an hindley milner type system with its type inference like the one in fsharp