tree datatype according to http://homepages.inf.ed.ac.uk/stg/NOTES/node62.html
Primary LanguageStandard ML