[0rbiter]

Interesting. I wonder what the `s` functions in Scott & Church are.

[marvinborner]

They are not functions, but variables. Maybe this helps, as they basically are "selectors": https://text.marvinborner.de/2024-11-18-00.html#tagged-union...