This example should have a header which says `# Example`, and it will likely need some imports to work. I would also recommend removing the type ascription.