Polymorphic stanamically balanced binary trees (did you say stanamically?)

Thanks. Couldn't hit a 'define:' search result for 'stanamically' that said it's a portmanteau denoting "a blended static and dynamic enforcement of the balancing constraint".

(so here it is;-)

the entire site is a computational goldmine, it seems. http://okmij.org/ftp/README.html