Came here to comment the same thing. Really awesome to see how the type system can be leveraged to produce syntactically lightweight abstractions.