Super-naturals.

Published in: J. Funct. Program. (2022)