Init: demos recursive types
Init: demos recursive types
Init: mastering binary search trees