This reminds me of the Flix programming language [1], which has annotated effects like so: def main(): Unit \ { Clock, Http, Logger, IO } = ... [1] https://fl

This reminds me of the Flix programming language [1], which has annotated effects like so: def main(): Unit \ { Clock, Http, Logger, IO } = ... [1] https://flix.dev/ https://flix.dev/