One more use case found via quickCheck.
Note how to invoke quickCheck.