Gleam seems like effort in the right place, I'm looking forward to seeing it in the wild! Since we got you here, can you tell us what's your plan with static t

Gleam seems like effort in the right place, I'm looking forward to seeing it in the wild! Since we got you here, can you tell us what's your plan with static type checking for message passing semantics? From what I understand, that's the hard part about producing a static type checker for BEAM systems. As for things like gen_server, is the idea currently that you simply give type definitions to callbacks, allowing the gen_server to model its state with types? At first glance, I also don't understand yet how parametric polymorphism works. Is it implemented at language level?