Esqueleto：如何将lower_应用于可能的字段？

Question

如何将功能lower_应用于(Value (Maybe typ))？ 我在db中可能有字符串字段，因此在(^.)运算符之后我将使用类型为SqlExpr (Value (Maybe String))的表达式。 我们假设lower_是SqlExpr (Value String) -> SqlExpr (Value String)。 如何申请lower_？