相关疑难解决方法(0)

鉴于:

newtype MyVec = MyVec { unVec :: Data.Vector } 
  deriving (Functor, etc)

这将创建(类似)这个:

instance Functor MyVec where
  fmap f = MyVec . Data.Vector.fmap f . unVec

Vector Vectors融合规则会被激活并重fmap f . fmap g $ myVec写成fmap (f . g) myVec？

我应该注意哪些陷阱？在GHC 7.8中解决了为容器中的新类型"支付"的问题,是吗？