Docs: Use Maybe in annotation

I caught this one just by reading, but it wouldn't be the worst idea to systematically make sure each example compiles.