Good stuff, reminds me of PLT Hulk [0], although obviously Grug isn't a fan of powerful type systems.

[0] https://twitter.com/plt_hulk