So cool to see the types and operations being built up from lambdas! A nice brain teaser.