Gala looks interesting. The sealed types approach in Go reminds me of how Rust handles enums for exhaustive matching. One practical tip when using this with AI coding agents: have them generate the type hierarchies first, then pattern match logic separately. Agents tend to hallucinate less when the type contracts are explicit upfront. The monad abstractions here could also make agent-generated error handling chains much more predictable and testable.