A functional programming language based on algebraic effects and their handlers.