如何将 Control.ST 代码迁移到 Idris 2 (Control.App)？
Idris 2 没有 <a href="http://docs.idris-l...