These guards are not needed, as the first case clause would have matched for what they guard against.