镜头和类型系列

我遇到了使用问题Control.Lens和...一起
使用时的数据类型-XTypeFamiliesGHC 杂注。

{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeFamilies    #-}

import Control.Lens (makeLenses)

class SomeClass t where
  data SomeData t :: * -> *

data MyData = MyData Int

instance SomeClass MyData where
  data SomeData MyData a = SomeData {_a :: a, _b :: a}

makeLenses ''SomeData

错误信息是：reifyDatatype: Use a value constructor to reify a data family instance.

有什么办法可以克服它，也许使用一些功能Control.Lens?

最明智的事情是自己定义这些镜头......这并不是很困难：

a, b :: Lens' (SomeData MyData a) a
a = lens _a (\s a' -> s{_a=a'})
b = lens _b (\s b' -> s{_b=b'})

or even

a, b :: Functor f => (a -> f a) -> SomeData MyData a -> f (SomeData MyData a)
a f (SomeData a₀ b₀) = (`SomeData`b₀) <$> f a₀
b f (SomeData a₀ b₀) =   SomeData a₀  <$> f b₀

...它根本不使用镜头库中的任何内容，但与所有镜头组合器完全兼容。