Infrastructure-as-Effects — cloud infrastructure and application logic as a single, type-safe Effect program
