Commits

Aleksey Khudyakov committed f2a7deb

Simplify constraint on head

Comments (0)

Files changed (1)

fixed-vector/Data/Vector/Fixed/Cont.hs

 {-# INLINE[1] vector #-}
 
 -- | Finalizer function for getting head of the vector.
-head :: forall n a. Arity (S n) => ContVec (S n) a -> a
+head :: forall n a. Arity n => ContVec (S n) a -> a
 {-# INLINE head #-}
 head
   = runContVec $ Fun