GALA in June: do-notation, applicative validation, and concurrent binds (0.56 -> 0.62)

A follow-up to The State of GALA: May 2026. In May, GALA hit 0.50.0 with sealed types, exhaustive pattern matching, a real monad stack (Option, Either, Try, Future, IO), and a functional standard libr