For exploring algebraic effects, safe shared mutability, and other novel features