Gleam has no subtyping so it has no bottom type, but you could still make a function that returns an unbound type variable. However there's no advantage of imp

Gleam has no subtyping so it has no bottom type, but you could still make a function that returns an unbound type variable. However there's no advantage of implementing this in user-land. Having it be part of the language means the compiler can do things like emit a warning when it is used, ban it in release builds, and so on.