Aleksey Khudyakov committed aa6db27

Document problem with tuple instances

Comments (0)

Files changed (1)


 type instance Dim ((,) a) = N2
+-- | Note this instance (and other instances for tuples) is
+--   essentially monomorphic in element type. Vector type of tuple
+--   @(Int,Int)@ is @(,) Int@ so it will only work elements of type
+--   @Int@.
 instance (b~a) => Vector ((,) b) a where
   construct = Fun (,)
   inspect (a,b) (Fun f) = f a b