Arya contributed to the unisonweb/unison repository by enhancing the reliability and usability of the Run command within the Unison codebase. Focusing on compiler development and type systems, Arya implemented a type-aware integration that allows the Run command to leverage in-file type information, eliminating the need for developers to pre-register new types before execution. This work, carried out in Haskell, involved a targeted bug fix ensuring that type information defined within the current file is properly incorporated into type checking at runtime. Arya’s contribution addressed a nuanced aspect of functional programming, improving the developer experience and aligning runtime behavior with type system expectations.