This is an implementation in F# of the data structures in Chris Osaki's Purely Functional Data Structures.