I'm pretty sure that people might try to use constant indices here and the code will barf because python integers don't have a `.type` attribute.