Comment by contravariant

It would have been an ever better idea if I could figure out what it's for before copying :)