While this success typing is correct, I'd rather have this be a bit more specific.  I think that the only inputs we want here are a list of lists or list of binaries, right?