FYI: use -back-tics to make `code<work>` 

And it's not T, because if you're doing a boolean[], this needs to be Boolean.  If I try to use a type variable, I'm going to have to end up with an incredibly complex generic type, and all I want to do is force an implementation in the subtype, which can be more specific.  It's not perfect, but trying to make this a full type variable required too much mess at the class declaration level.  It was monstrous.