It's much easier (and more efficient) to pattern match on the HsOverLit than on the desugared version!