You might find my orbit-diagrams repo interesting: https://github.com/jasonincanada/orbit-diagrams

It's a way to render function application/composition in 3D. In particular you'd probably like the proof of B = S (K S) K:

https://raw.githubusercontent.com/jasonincanada/orbit-diagra...