> to be improved later cc @Yu-zh _Originally posted by @bobzhang in [#3588](https://github.com/moonbitlang/core/pull/3588/changes#r3238450881)_
Originally posted by @bobzhang in #3588