Ante: A low-level functional language with algebraic effects and safe shared mut