Try writing an exhaustive spec for anything non-trivial and you might see the problem.