hi!, we're monadic labs ⚗️. we develop programming languages, compilers, and interesting projects. projects: lang: a compiler in ocaml