Full threadgiovannibonetti·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/View on HN