Well, thanks, I was just about to take Okasaki's paper and see what an implementation in Scala would look like.