[13 of 22] Compiling Data.FixedSize.Vector ( src/Data/FixedSize/Vector.hs, dist/dist-sandbox-50b32bd7/build/Data/FixedSize/Vector.o )

src/Data/FixedSize/Vector.hs:104:31: error:
    • Couldn't match type ‘1 + n’ with ‘n + 1’
      Expected type: VS.Vector (n + 1) a
        Actual type: VS.Vector (1 + n) a
      NB: ‘+’ is a type function, and may not be injective
    • In the second argument of ‘($)’, namely ‘VS.cons x xs’
      In the expression: Vector $ VS.cons x xs
      In an equation for ‘cons’:
          cons x (Vector xs) = Vector $ VS.cons x xs
    • Relevant bindings include
        xs :: VS.Vector n a (bound at src/Data/FixedSize/Vector.hs:104:16)
        cons :: a -> Vector n a -> Vector (n + 1) a
          (bound at src/Data/FixedSize/Vector.hs:104:1)

src/Data/FixedSize/Vector.hs:112:28: error:
    • Couldn't match type ‘n + 1’ with ‘1 + n0’
      Expected type: VS.Vector (1 + n0) a
        Actual type: VS.Vector (n + 1) a
      NB: ‘+’ is a type function, and may not be injective
      The type variable ‘n0’ is ambiguous
    • In the first argument of ‘VS.head’, namely ‘v’
      In the expression: VS.head v
      In an equation for ‘vhead’: vhead (Vector v) = VS.head v
    • Relevant bindings include
        v :: VS.Vector (n + 1) a
          (bound at src/Data/FixedSize/Vector.hs:112:15)
        vhead :: Vector (n + 1) a -> a
          (bound at src/Data/FixedSize/Vector.hs:112:1)

src/Data/FixedSize/Vector.hs:120:37: error:
    • Couldn't match type ‘n + 1’ with ‘1 + n’
      Expected type: VS.Vector (1 + n) a
        Actual type: VS.Vector (n + 1) a
      NB: ‘+’ is a type function, and may not be injective
    • In the first argument of ‘VS.tail’, namely ‘v’
      In the second argument of ‘($)’, namely ‘VS.tail v’
      In the expression: Vector $ VS.tail v
    • Relevant bindings include
        v :: VS.Vector (n + 1) a
          (bound at src/Data/FixedSize/Vector.hs:120:15)
        vtail :: Vector (n + 1) a -> Vector n a
          (bound at src/Data/FixedSize/Vector.hs:120:1)
cabal: Leaving directory '/tmp/cabal-tmp-5629/neural-0.3.0.1'
cabal: Error: some packages failed to install:
neural-0.3.0.1 failed during the building phase. The exception was:
ExitFailure 1