@mgates It wasn't quite what I had in mind (since some type systems don't catch that either), but I suppose it does qualify.