[jcelerier]

> I mean; C++ templates are Turing complete.

that's not a very high milestone to achieve. Even java generics are turing complete (https://arxiv.org/abs/1605.05274)

[esarbe]

Holy crap, indeed!

The older I get, the more icky I find subtyping. It just makes things messy...