Show HN: Type safe eval implemented as algebraic effect [video]