It’s incorrect, Gleam has full type inference and doesn’t require variable annotation.