I'm trying to understand Check.hs.  This patch is a very
minor refactoring.  No change in behaviour.