This patch simply avoids a needless difference in behaviour from 
6.10, and one that happens to affect HList. See Note [Stupid theta].