An abstract is not available for this content. As you have access to this content, full HTML content is provided on this page. A PDF of this content is also available in through the ‘Save PDF’ action button.

@article{paperbot1624,
  title = {Super-naturals},
  author = {RALF HINZE and COLIN RUNCIMAN},
  journal = {Journal of Functional Programming},
  volume = {32},
  year = {2022},
  doi = {10.1017/s0956796822000028}
}