For some reason I thought it would be cool to implement versions of the Boehm-Berarducci encoding for various types in various programming languages, so here it is.
rcalsaverini/boehm-berarducci
Various implementations of the Boehm-Berarducci encoding for various types in various programming languages.
PythonMIT