@@ -226,7 +226,7 @@ unzip ((l, r)::xs) with (unzip xs)
226226
227227||| Convert a vector of three-tuples to a triplet of vectors
228228unzip3 : Vect n (a, b, c) -> (Vect n a, Vect n b, Vect n c)
229−unzip3 [] = []
229+unzip3 [] = ([], [], [])
230230unzip3 ((l,c,r)::xs) with (unzip3 xs)
231231 | (lefts, centers, rights) = (l::lefts, c::centers, r::rights)
232232