The input reminds me a lot of the work pointed to here (good ole jart)[https://justine.lol/lambda/#diagrams]

Now if only I could get my head around it (shout out to the alligator eggs ref too)