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.
Merge pull request #510 from mgold/patch-1

Docs: Use Maybe in annotation