To my mind, it differs importantly in that `head []` is something you basically can't inspect, and so you don't wind up passing it as something meaningful expec

To my mind, it differs importantly in that `head []` is something you basically can't inspect, and so you don't wind up passing it as something meaningful expecting the other side to check for it. While I think this is an important difference, `head` is still harmful.