@article{hinze-2022-super, title={Super-naturals}, volume={32}, ISSN={1469-7653}, url={http://dx.doi.org/10.1017/s0956796822000028}, DOI={10.1017/s0956796822000028}, journal={Journal of Functional Programming}, publisher={Cambridge University Press (CUP)}, author={HINZE, RALF and RUNCIMAN, COLIN}, year={2022} }