haskell - Esqueleto：如何将 lower_ 应用于可能领域？

Question

如何将功能lower_应用于(Value (Maybe typ))？我在 db 中可能有字符串字段，所以在(^.)运算符之后我会有 type: 的表达式SqlExpr (Value (Maybe String))。让我们假设 lower_ 是SqlExpr (Value String) -> SqlExpr (Value String)。这个怎么申请lower_？