idris-0.9.0: tutorial/examples/vbroken.idr
vapp : Vect a n -> Vect a m -> Vect a (n + m) vapp Nil ys = ys vapp (x :: xs) ys = x :: vapp xs xs -- BROKEN
vapp : Vect a n -> Vect a m -> Vect a (n + m) vapp Nil ys = ys vapp (x :: xs) ys = x :: vapp xs xs -- BROKEN