It'd be awesome to have some `@example` tags here