redRat p _ _                    = internalError0 ("redRat: " ++ show p)
redRat p _ _                    = internalError0 ("redRat: " ++ show p)
redRat p _ _                    = internalError0 ("redRat: " ++ show p)