Type checking ./test032.idr
isElem x [] = ?isElem_rhs_1
isElem x (_ :: _) = ?isElem_rhs_3

   localZipWith f (_ :: _) (_ :: _) = ?localZipWith_rhs_1

f x :: (map f xs)
isElem2 x (y :: ys) with (_)
  isElem2 x (y :: ys) | with_pat = ?isElem2_rhs
  isElem3 x (x :: ys) | (Yes refl) = ?isElem3_rhs_3