span : ('a -> bool) -> 'a list -> 'a list * 'a list behaves like the Haskell list function span (at least, I hope so). Treat initials like really stupid test code for span.