Add explicit types for a couple of constants to work around Hugs's
imperfect implementation of the monomorphism restriction.