Type up examples