We hypothesize that by extending typed functional programming to the entire OS environment, small teams will be able to outcompete Big Tech. Our system is fast, provides automatic durable execution, metaprogramming, and has been designed to run with almost no dependencies.