Introductory examples (but have ts compile error)