如何在haskell中导出数据类型记录而不导出其字段？

Question

我在Avoiding namespace pollution in Haskell看到了一个比较老的问题，并且正在寻找使用镜头的现代解决方案。

我认为该方法将分几步进行：

1. 将字段重写为对镜头友好：field-> _field。
2. 使用镜头。
3. 避免导出（或在用户方面，则导入）_field。

在这个问题上，我最关心的是第3点，因为我认为我可以根据现有资源找出其余的问题。但是，也许这是不可能的。