demos from collections and types + file IO