Text this: A simple method of writing traverse specifications.