Defining examples elegantly