[Report] Monad: The Last General-Purpose L1 | FP RESEARCH