Some TypeScript demos