如何结合几种类型约束？

Question

使用lenses自动镜头生成方法我结束了与HasX类型的若干类型的类：

class HasPositionX s a | s -> a where 
    positionX :: Lens' s a 

class HasPositionY s a | s -> a where 
    positionY :: Lens' s a 

这当然是2D矢量类型的一部分。现在我正在寻找一种方式，这些约束合并成一个，基本上说IsVector s a可用这样的：通过定义一个只包含一个新的记录为此

showVec :: (Num a, IsVector v a) => v -> String 
showVec a = show (view positionX a) ++ "," ++ show (view positionY a) 

Answer 1

坐标：

data Position = Position { 
    _positionX :: Int 
    _positionY :: Int 
} 

然后用位置字段替换成对的坐标字段。然后IsVector是HasPosition并且镜片看起来像position . x而不是positionX。