heftia-0.6.0.1: higher-order algebraic effects done right