要在DrRacket中编写一个函数来从RES类型中提取RegE，可以按照以下步骤进行：

1. 定义RES和RegE数据类型。在DrRacket中，使用define-struct来定义数据类型的结构。

(define-struct RES (value))
(define-struct RegE (value))

2. 编写一个从RES类型中提取RegE的函数。可以使用match结构来匹配RES类型，并提取其中的RegE。

(define (extract-RegE res)
  (match res
    [(RES r) (RegE r)]))

3. 测试函数。可以使用check-expect来测试函数是否按预期工作。

(check-expect (extract-RegE (RES 5)) (RegE 5))

完整的代码示例如下：

(define-struct RES (value))
(define-struct RegE (value))

(define (extract-RegE res)
  (match res
    [(RES r) (RegE r)]))

(check-expect (extract-RegE (RES 5)) (RegE 5))

在DrRacket中运行上述代码，将会得到期望的结果，并验证函数是否按预期工作。