Recursive subtyping for all. - ZHOU, LITAO; ZHOU, YAODA; WAN, QIANYONG; OLIVEIRA, BRUNO C. D. S. (Journal of Functional Programming, 2025)