At a glance the type system is quite barebones and nominative.

I'd like to see Gleam add support for structural types and maybe set theoretic [1]

[1] https://arxiv.org/abs/2302.12783