[giovannibonetti]

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/