Comment by lachenmayer

Stick your services into the type too, and you have `Effect`[0], the ultimate monad :)

[0]: https://effect.website/