Technically Koka checks your box. You also get algebraic effects in the same bundle