I'm presuming this is "in joke" that I'm very much out of. I honestly have no idea what this is about at all, nor can I find any context.
Previous HN discussion: https://news.ycombinator.com/item?id=6438320
This is a perfectly serious type system that infers perfectly serious types all day long. It is moronic, though.
...in a submarine.
Who's balking? I'm right there under the water. I find myself craving a destroyer, without quite knowing what I'd do with one ;)