This is brilliant. The only way I was able to truly understand `lift` was by seeing this kind of visual flow[1]. Similarly, I'm sure there are other "shapes" that make a lot more sense of things like monads and such. Excited to try this out!
[1]: dotGo 2017 - John Cinnamond - Go Lift https://youtu.be/1B71SL6Y0kA?t=9m32s