let rec alt_seq1 s =
  match s with
      [] -> true
    | [e] -> true
    | e1::e2::s ->
        (e1 <> e2) && (alt_seq1 (e2::s))