fun splitAtFirst n []      = ([], [])
  | splitAtFirst n (x::xs) =
      let
         val (t, d) = splitAtFirst (n) xs
      in
        if n = x then ([], x::xs) else (x::t, d)
      end;