Types only propagate a single level.