在类型级别将函数应用于记录中的所有字段

Question

有没有办法在类型系统中轻松做到以下几点？

data Product = Product {
    id :: ProductId
  , name :: Text
  , sku :: SKU, quantity :: Int
  , description :: Maybe Text
  }

data Omittable a = Omit | Present a
type ProductWithOmittableFields = Omittable Product

-- ProductWithOmittableFields is now equivalent to:\
--
-- data ProductWithOmittableFields = ProductWithOmmitableFields { 
--     id :: Omittable ProductId
--    ,name :: Omittable Text
--    ,sku : : Omittable SKU
--    ,quantity :: Omittable Int
--    ,desciption :: Omittable (Maybe Text)
--  }

它基本上是某种容器（函子？），在类型级别应用于记录的每个字段。

用可扩展的记录库能更好地表达这个想法吗？

edit用例是我们会从UI层得到一个ProductWithOmittableFields，代表已经被用户改变的字段集合；我们将从数据库中得到一个Product，我们将它们合并得到Product的新值

Answer 1

一种可能的方式：

import Control.Functor.Identity

data Product k = Product {
    id :: k ProductId
  , name :: k Text
  , sku :: k SKU
  , quantity :: k Int
  , description :: k (Maybe Text)
  }

data Omittable a = Omit | Present a
type ProductWithOmittableFields = Product Omittable
type ProductWithRegularFields = Product Identity

例子：

testOmit :: ProductWithOmittableFields
testOmit = Product
     { id = Present someProductId
     , name = Omit
     ... }

testReg :: ProductWithRegularFields
testReg = Product
     { id = Identity someProductId
     , name = Identity someText
     ... }

这种方法只有在常规情况下用Identity 包装每个字段的小不便。