error

When checking argument f to function Prelude.Basics.flip:
        Type mismatch between
                Type -> Type -> Type (Type of Pair)
        and
                a -> b1 -> b -> c -> Type (Expected type)

        Specifically:
                Type mismatch between
                        Type
                and
                        b -> c -> Type

zip3_hvect.idr

||| Combine three equal-length `HVect`s elementwise into a vector of tuples
zip3 : HVect as -> HVect bs -> HVect cs -> HVect (zipWith3 (flip Pair Pair) as bs cs)
zip3 [] [] [] = []
zip3 (a::as) (b::bs) (c::cs) = (a, b, c) :: zip3 as bs cs