Computing Utility Needs Monadic Abstractions. - Yu Du; Yu-Xuan Pan; Zi-Shu Yu; Zhi-Wei Xu (J. Comput. Sci. Technol., 2026)