Examples from Introduction to Programming in ATS